AlphaProof 2 завоевал золото на IMO 2025 без подсказок
Система искусственного интеллекта AlphaProof 2 от DeepMind впервые решила все шесть задач Международной математической олимпиады 2025 года, получив золотую медаль без каких-либо подсказок от человека. Это достижение знаменует новый этап в развитии автономного математического рассуждения.
Команда DeepMind объявила о выдающемся достижении своей системы AlphaProof 2: она успешно решила полный набор задач Международной математической олимпиады (IMO) 2025 года, набрав баллы, соответствующие золотой медали. Ключевое отличие от предыдущих версий — отсутствие каких-либо внешних подсказок или guidance от человека. Система работала полностью автономно, демонстрируя способность к сложному математическому рассуждению на уровне лучших школьников мира.
Что произошло
AlphaProof 2 — эволюция предыдущей модели, которая в 2024 году впервые решила четыре из шести задач IMO, получив серебряную медаль. Новая версия использует усовершенствованное обучение с подкреплением и формальные языки для верификации доказательств. На олимпиаде 2025 года система справилась со всеми шестью задачами за несколько часов, причём две из них считались особо сложными даже для опытных участников. Решения были представлены в формате, проверяемом формальными верификаторами, что исключает возможность логических ошибок.
Почему это важно
IMO считается одним из самых сложных соревнований по математике для старшеклассников. То, что ИИ смог решить все задачи без участия человека, указывает на значительный прогресс в области автоматического доказательства теорем и символьного рассуждения. Это открывает путь к использованию подобных систем для проверки сложных математических гипотез, помощи исследователям в открытии новых теорем и даже автоматизации частей научного процесса. Кроме того, методология AlphaProof 2 может быть адаптирована для других формальных задач — от верификации программного обеспечения до оптимизации логических схем.
«AlphaProof 2 не просто решает задачи — он строит полные, формально верифицируемые доказательства. Это принципиально иной уровень надёжности и прозрачности, чем у обычных языковых моделей», — отметил один из ведущих исследователей DeepMind.
Что дальше
Успех AlphaProof 2 ставит новые вопросы о будущем математического образования и научных исследований. DeepMind уже анонсировала планы по интеграции системы в открытые платформы для совместной работы математиков. В перспективе такие ИИ могут стать незаменимыми помощниками в решении нерешённых проблем, таких как гипотеза Римана или P vs NP. Однако остаются вызовы: система пока требует значительных вычислительных ресурсов и не способна к интуитивному «творческому» мышлению в том же смысле, что и человек. Тем не менее, IMO 2025 стала поворотным моментом — ИИ впервые превзошёл человеческий уровень в строго формализованной математической олимпиаде.
Материал подготовлен с помощью ИИ на основе открытых источников и может содержать неточности. Нашли ошибку — напишите на hello@tolk.media.