До сих пор компьютеры не смогли доказать сложные математические утверждения. Но теперь ИИ AlphaGeometry удалось решить десятки задач с олимпиады по математике. Международная Математическая Oлимпиада (IMO), пожалуй, самое престижное студенческое соревнование. Ежегодно студенты со всего мира
Читать дальше →