Ученые из DeepMind сообщили, что их новый искусственный интеллект AlphaGeometry2 показал результаты, сравнимые с золотыми медалистами Международной математической олимпиады (IMO). В ряде тестов AI успешно решил 42 из 50 задач за последние 25 лет.
AlphaGeometry2 основан на первой версии AlphaGeometry, которая была выпущена в начале 2023 года. В новой версии объединены несколько ключевых элементов, включая языковую модель GoogleGemini и математическую систему Alpha Proof для выполнения доказательств.
Решение задач на IMO требует генерации дополнительных математических конструкций, которые AI должен создать самостоятельно. AlphaGeometry2 анализирует возможные ходы, проверяет их логику и выбирает наилучшие шаги для доказательства.
В ходе испытаний система решала геометрические задачи, требующие высокого уровня рассуждений и способности выбирать оптимальные пути к решению. В июле 2023 года AlphaGeometry2 успешно решил 4 из 6 задач на IMO и продемонстрировал высокий уровень среди золотых медалистов.
Этот успех открывает новые возможности для развития искусственного интеллекта, способного решать сложные математические задачи. Это может привести к созданию более продвинутых математических приложений и инструментов.
ИИ от DeepMind опережает лучших математиков планеты
