Новая система ИИ от Google завоевала золотую медаль на престижном математическом конкурсе
Международная математическая олимпиада (ММО) — престижное математическое соревнование для старшеклассников. Каждая страна-участница отправляет на конкурс по шесть участников, которые должны решить шесть задач за 4,5 часа. В этом году 67 из 630 участников завоевали золотую медаль.
Вопросы ММО являются узкоспециализированными. Они в основном сосредоточены на четырёх разделах математики, изучаемых в старших классах: алгебре, комбинаторике, геометрии и теории чисел. Тем не менее, доказательства, необходимые для решения задач, весьма сложны. Каждое доказательство представляет собой несколько страниц сложных математических формул с пояснениями на естественном языке.
Искусственный интеллект Google завоевал золотую медаль, используя алгоритм, основанный на серии крупных языковых моделей Gemini. Программа оснащена функцией Deep Think, которую поисковый гигант представил в мае. Эта функция позволяет ИИ генерировать на заданный запрос несколько потенциальных ответов, а затем объединять их.
Для развития системы компания Google оттачивала математические способности ИИ, используя обучение с подкреплением — распространённый подход к обучению моделей рассуждений. В рамках проекта обучения с подкреплением исследователи предлагают большим языковым моделям примеры вопросов и дают обратную связь по качеству каждого ответа. Затем обучающиеся модели анализируют обратную связь, чтобы найти способы улучшить свои возможности.
Исследователи Google обучали Gemini, используя «сборник тщательно отобранных высококачественных решений по математике». Они не просто включили в него набор математических задач и их решения, но и предоставили информацию о промежуточных шагах, необходимых для достижения каждого решения. Кроме того, они добавили раздел «общие рекомендации» о том, как решать вопросы ММО.
Модель Google правильно ответила на пять из шести вопросов олимпиады этого года. Шестая задача, самая сложная в наборе, требовала рассчитать количество плиток, необходимых для покрытия двумерного пространства. Её правильно решили 5 из 630 учащихся, участвовавших в конкурсе.
На прошлогодней математической олимпиаед две модели искусственного интеллекта, разработанные Google, совместно завоевали серебряную медаль, решив четыре из шести задач. Один из алгоритмов был оптимизирован для решения задач по геометрии, а другой — для генерации доказательств. По данным DeepMind, точность — лишь один из показателей, по которым модель Gemini превосходит эти алгоритмы.
«Прошлогодние модели AlphaGeometry и AlphaProof требовали от экспертов сначала перевода задач с естественного языка на языки, специфичные для предметной области, такие как Lean, и затем обратно для доказательств. Кроме того, вычисления заняли два-три дня», — подробно описали исследователи DeepMind в своём блоге. «Наша продвинутая модель Gemini работала от начала до конца на естественном языке, выдавая строгие математические доказательства непосредственно из официальных описаний задач — и всё это в рамках отведённого на соревнование времени, составляющего 4,5 часа».
Google планирует внедрять модель искусственного интеллекта поэтапно. Сначала алгоритм будет протестирован группой математиков, а затем станет доступен в подписке Google AI Ultra, анонсированной ранее в этом году. План предусматривает расширение лимитов использования помощника ИИ Gemini и доступ к ряду других сервисов на базе искусственного интеллекта.
