Google DeepMind заявляет о новом достижении в области ИИ: их модели AlphaProof и AlphaGeometry 2 успешно справились с задачами Международной математической олимпиады (IMO).
Результат – четыре из шести задач решены, что эквивалентно серебряной медали. В Google утверждают, что это первый случай, когда ИИ демонстрирует подобный уровень мастерства в соревновании такого класса.AlphaProof, основанная на обучении с подкреплением, доказывает математические утверждения на формальном языке Lean, самообучаясь на миллионах примеров и постепенно решая все более сложные задачи.
AlphaGeometry 2 – это улучшенная версия предыдущей модели Google, специализирующейся на геометрических задачах, теперь работающая на базе более мощной языковой модели Gemini.По заявлению Google, их системы, оцененные по официальным правилам IMO математиками Тимоти Гауэрсом и Джозефом Майерсом, набрали 28 баллов из 42 возможных.
Читать на habr.com