AI завоевала золото на математической олимпиаде, но не догнала идеальных результатов людей

Введение

Впервые в истории искусственный интеллект достиг уровня золотой медали на 66-й Международной математической олимпиаде (ММО), прошедшей в июле 2025 года в Куинсленде, Австралия. Экспериментальные модели от Google DeepMind и OpenAI решили пять из шести чрезвычайно сложных математических задач в рамках официального лимита времени в 4,5 часа, набрав 35 из 42 возможных баллов — результат, соответствующий высшей категории участников. Этот успех знаменует серьёзный прорыв в способности ИИ к абстрактному и символическому мышлению. Однако, несмотря на достижение золотого стандарта, даже самые передовые системы ИИ не смогли повторить идеальные результаты, показанные пятью подростками-олимпиадниками. Их безошибочные решения подчёркивают, что хотя ИИ и приближается к людям, между ними всё ещё остаются принципиальные разрывы в понимании математики и творческой логике.

Ключевые детали

• Google DeepMind и OpenAI разработали ИИ-системы, достигшие уровня золотой медали (35/42) на ММО 2025 года.
• Обе модели решили пять из шести олимпиадных задач в течение 4,5 часов — значительный прогресс по сравнению с результатом DeepMind 2024 года (28/42, серебряная медаль).
• Пять человек-участников получили идеальные 42 балла, продемонстрировав превосходящее логическое мышление и отсутствие ошибок.
• Решения, предложенные ИИ, были признаны ясными и логичными официальными проверяющими ММО.
• Точные объёмы вычислительных ресурсов, использованных ИИ, не раскрываются, что вызывает вопросы об энергоёмкости и экологичности таких систем.
• Модели основаны на передовых архитектурах ИИ, включая усовершенствованный Gemini от Google с функцией «глубокого размышления» и новейшую систему рассуждений от OpenAI.

Контекст

Международная математическая олимпиада, учреждённая в 1959 году, — это самое престижное математическое соревнование для школьников мира. Каждый год более 600 одарённых учащихся из более чем 100 стран решают шесть сложнейших задач по алгебре, комбинаторике, геометрии и теории чисел. Задачи требуют не просто вычислительной точности, а глубокой интуиции, изящного построения доказательств и творческого подхода. Участники ММО часто становятся лидерами математической науки — среди бывших участников такие лауреаты Филдсовской премии, как Теренс Тао.

До недавнего времени ИИ с трудом справлялся даже с базовыми операциями. Например, известны случаи, когда такие модели, как ChatGPT и Google Gemini, ошибались при умножении 4596 на 4859, выдавая неверный результат. Это объясняется вероятностной природой языковых моделей: они предсказывают следующие «токены», а не манипулируют символами логически. В математике же требуется точность, последовательность и обоснованность — качества, не свойственные стандартным ИИ-системам.

Анализ влияния

Несмотря на эти трудности, результаты 2025 года знаменуют перелом. Согласно команде DeepMind, их обновлённая модель Gemini способна имитировать многоэтапные логические выводы, генерируя и оценивая промежуточные шаги доказательства — по аналогии с тем, как человек «размышляет» над задачей. Модель OpenAI использовала похожий итеративный процесс, позволяющий отбрасывать неверные направления.

Грегор Долинар, президент ММО, отметил качество решений ИИ:

«Их решения были поразительны во многих отношениях. Проверяющие отметили, что они чёткие, точные и в большинстве случаев легко читаются».

Эта оценка важна: ясность и строгость — ключевые критерии математического мастерства, и способность ИИ их демонстрировать — серьёзный шаг вперёд.

Однако тот факт, что ни одна модель не решила все шесть задач, подчёркивает сохраняющиеся ограничения. Шестая задача, посвящённая комбинаторной геометрии и инвариантам, была решена всеми пятью идеальными участниками, но оказалась по силам ИИ. Эксперты предполагают, что проблема — не в мощности, а в отсутствии интуитивного скачка и способности распознавать скрытые закономерности без примеров из обучающих данных.

Более широкий контекст

Нельзя игнорировать и экологические издержки. Хотя Google и OpenAI не раскрыли данные по энергопотреблению, исследования показывают, что работа продвинутых ИИ может потреблять столько же энергии, сколько небольшие страны. По оценке The New York Times (2023), крупные ИИ-системы в будущем могут использовать столько электроэнергии, сколько Аргентина или даже несколько стран вместе. По мере расширения дата-центров, в том числе за счёт ископаемого топлива, вопросы устойчивости прогресса ИИ становятся всё острее.

Кроме того, ММО — это контролируемая среда. В реальной математике есть гипотезы, неудачи, творческий поиск — области, где ИИ пока не может конкурировать. Как отметил математик Тимоти Гауэрс: «ИИ может проверить доказательство, но мы ещё не видели, чтобы оно создало новую область науки».

Перспективы

Гонка за ИИ, способный превзойти человека в абстрактном мышлении, ускоряется. Вероятно, Google и OpenAI добьются идеального результата на ММО в ближайшие годы. Но настоящим рубежом станет не олимпиадный счёт, а способность формулировать новые теоремы или решать нерешённые задачи вроде гипотезы Римана.

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

Заключение

Результаты ММО 2025 года — это одновременно триумф и проверка ИИ на прочность. Золото доказывает, что машины приближаются к человеку в решении структурированных задач. Но идеальные результаты пяти подростков напоминают: творчество, интуиция и безупречная логика пока остаются прерогативой человека. По мере развития ИИ, главный вызов будет не в том, чтобы победить людей в математике, а в том, чтобы глубже понять природу интеллекта.