Нейросети DeepMind научились решать задачи на уровне серебряных медалистов Международной математической олимпиады

Google DeepMind разработала нейросети AlphaProof и AlphaGeometry 2 для решения сложных математических задач.
AlphaProof и AlphaGeometry 2 достигли серебряного уровня на Международной математической олимпиаде (IMO) 2024 года.
Оба алгоритма успешно решили четыре из шести задач, набрав 28 очков из 42 возможных.
AlphaProof содержит предобученную языковую модель и алгоритм AlphaZero, основанный на обучении с подкреплением.
AlphaProof использует формальный язык Lean для доказательства математических утверждений.
AlphaGeometry 2 сочетает нейросеть с символьным движком и способна решать более сложные геометрические задачи.
AlphaGeometry 2 успешно решила 83% геометрических задач IMO за последние 25 лет, в то время как предыдущая версия решала только 53%.