ИИ от Google решает задачи на уровне серебряного медалиста Международной математической олимпиады
habr.comGoogle DeepMind заявляет о новом достижении в области ИИ: их модели AlphaProof и AlphaGeometry 2 успешно справились с задачами Международной математической олимпиады (IMO).
Результат – четыре из шести задач решены, что эквивалентно серебряной медали. В Google утверждают, что это первый случай, когда ИИ демонстрирует подобный уровень мастерства в соревновании такого класса.AlphaProof, основанная на обучении с подкреплением, доказывает математические утверждения на формальном языке Lean, самообучаясь на миллионах примеров и постепенно решая все более сложные задачи.