ИИ от Google решает задачи на уровне серебряного медалиста Международной математической олимпиады

AlphaProof, основанная на обучении с подкреплением, доказывает математические утверждения на формальном языке Lean, самообучаясь на миллионах примеров и постепенно решая все более сложные задачи. AlphaGeometry 2 – это улучшенная версия предыдущей модели Google, специализирующейся на геометрических задачах, теперь работающая на базе более мощной языковой модели Gemini.

По заявлению Google, их системы, оцененные по официальным правилам IMO математиками Тимоти Гауэрсом и Джозефом Майерсом, набрали 28 баллов из 42 возможных. Они решили две задачи по алгебре, одну по теории чисел и одну геометрическую, но потерпели неудачу в комбинаторике. Примечательно, что ИИ справился с самой сложной задачей олимпиады, которую решили всего пять участников-людей.

Однако, несмотря на впечатляющие результаты, Тимоти Гауэрс призывает к осторожности в оценке. Он отмечает, что ИИ требовалось значительно больше времени на решение задач, чем людям, – для некоторых более 60 часов. Кроме того, задачи были предварительно переведены на язык Lean людьми, что также ставит под сомнение полную автономность ИИ.

Сам Гауэрс считает, что говорить о замене математиков искусственным интеллектом пока рано, хотя и признает потенциал подобных систем как мощных инструментов для исследований. Возможно, в будущем они смогут решать не самые сложные задачи, которые занимают у математиков несколько часов.

Таким образом, хотя заявление Google о прорыве в математике и выглядит многообещающе, оно требует определенных оговорок. Будущее покажет, насколько велик потенциал ИИ в этой области и не преувеличены ли ожидания.