Новый ИИ от DeepMind достиг уровня лучших математиков мира

Исследователи DeepMind сообщили, что их новая версия искусственного интеллекта AlphaGeometry2 показала результаты на уровне золотых медалистов Международной математической олимпиады (IMO). В серии тестов, включавших задачи последних 25 лет, AI успешно решил 42 из 50 предложенных задач.

AlphaGeometry2 был разработан на основе первой версии AlphaGeometry, выпущенной в начале 2023 года. В новой версии объединены несколько ключевых элементов, включая языковую модель Google Gemini и математическую систему Alpha Proof, предназначенную для выполнения доказательств.

Особенность решения задач на IMO заключается в необходимости введения дополнительных математических конструкций, которые AI должен самостоятельно генерировать. AlphaGeometry2 анализирует возможные ходы, проверяет их логическую обоснованность и выбирает наилучшие шаги для доказательства.

В ходе испытаний система решала задачи с геометрическим уклоном, которые требуют не только высокого уровня рассуждений, но и способности выбирать оптимальные пути к решению. В июле 2023 года AlphaGeometry2 успешно решил 4 из 6 задач на IMO, а в более широком тестировании продемонстрировал уровень выше среднего среди золотых медалистов олимпиады.

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