Компания Google DeepMind представила систему искусственного интеллекта (ИИ), получившую серебряную медаль на Международной олимпиаде по математике (IMO) в этом году. Гибридная система, объединяющая две специализированные модели AlphaProof и AlphaGeometry 2, решила четыре из шести задач престижного соревнования, что стало новой вехой в развитии возможностей ИИ в области математического мышления.
Конкурс IMO, считающийся самым сложным в мире математическим соревнованием для студентов старших курсов, стал эталоном для оценки передовых навыков ИИ в решении задач. Система Google DeepMind набрала 28 из 42 возможных баллов, не дотянув до золотой медали, которой в этом году добились лишь 58 из 609 участников-людей. (Посмотреть все решения можно здесь).
В основе этого достижения лежит AlphaProof, новый ИИ, объединяющий предварительно обученную языковую модель с алгоритмом обучения с подкреплением AlphaZero — той самой технологией, которая позволила освоить такие сложные игры, как шахматы и го. Эта интеграция позволяет AlphaProof подходить к математическим рассуждениям с помощью игровых стратегий, перебирая возможные шаги доказательства, как будто перемещаясь по огромному дереву решений. В отличие от предыдущих подходов, ограниченных скудными данными, написанными человеком, AlphaProof преодолевает разрыв между естественными и формальными языками. Он использует отточенную версию модели Gemini от Google для перевода проблем естественного языка в формальные утверждения, создавая обширную библиотеку обучающих материалов.
Дополнением к AlphaProof является AlphaGeometry 2, обновленная версия геометрического решателя DeepMind. Эта система продемонстрировала поразительную эффективность, решив одну задачу IMO всего за 19 секунд. Повышение производительности обусловлено расширением обучающих данных и новым механизмом обмена знаниями, который позволяет решать более сложные задачи. До начала конкурса AlphaGeometry 2 смогла решить 83 % всех исторических задач по геометрии IMO за последние 25 лет, что значительно лучше, чем 53 % успеха ее предшественницы.
Задачи были вручную переведены на формальный математический язык, чтобы системы ИИ могли их понять. В то время как официальный конкурс предусматривает две сессии по 4,5 часа каждая, системы ИИ решили одну задачу за несколько минут, а на решение остальных ушло до трех дней.
Успех Google DeepMind на IMO подчеркивает стремительный прогресс в способности ИИ решать сложные логические задачи. По мере дальнейшего развития эти системы способны ускорить научные открытия и расширить границы человеческих знаний.
