Gemini от Google DeepMind завоевал золото на Международной математической олимпиаде 2025 года

66-я Международная математическая олимпиада (IMO) в Австралии была довольно значимой для искусственного интеллекта. Впервые в этом соревновании Gemini компании Google DeepMind модель "Глубокое мышление" показала результат на уровне золотой медали, решив пять из шести исключительно сложных олимпиадных задач и набрав 35 из 42 баллов, что соответствует золотому порогу, установленному оценочной комиссией IMO.

Это значительное улучшение по сравнению с прошлым годом, когда системы AlphaProof и AlphaGeometry 2 компании DeepMind достигли лишь серебряной медали, решив четыре задачи и набрав 28 баллов. Прежние системы требовали перевода между естественным языком и формальными языками доказательств, и на вычисление решений уходило несколько дней.

В этом году система Gemini работала из конца в конец, используя только естественный язык, и выдавала полные, строгие решения прямо из официальных описаний IMO в течение 4,5-часового конкурсного окна. Официальные эксперты IMO, которые также оценивают участников конкурса, охарактеризовали ответы Gemini как "ясные" и "точные" Компания DeepMind приписала этот прогресс усовершенствованным методам обучения с усилением, базе данных математических решений и новым методам параллельных рассуждений, которые позволяют исследовать несколько путей решения одновременно. В то время как другие системы искусственного интеллекта, включая системы от OpenAI, достигли подобных неофициальных результатов, оценка Gemini была официально подтверждена координаторами Олимпиады, что является первым мировым достижением для автономных математических систем.

Компания DeepMind планирует сделать модель Deep Think доступной для избранных математиков перед более широким распространением, продолжая продвигать агентов, использующих естественный язык и формальные рассуждения для исследований в области математики.