Компания Google разработала революционную систему искусственного интеллекта AlphaGeometry , способную решать сложные геометрические задачи олимпиадного уровня. Согласно статье, опубликованной в журнале Nature, AlphaGeometry успешно решила 25 из 30 задач Международной математической олимпиады за период с 2002 по 2022 год, что практически равно результатам лучших юных математиков.
Ранее компьютерные алгоритмы могли решить не более 10 таких задач. Для сравнения, обладатели бронзовых медалей олимпиады решают в среднем 19 задач, серебряных – около 23, а золотых – 26. Тестовый набор для AlphaGeometry был составлен из заданий прошлых лет.
AlphaGeometry использует подход, сочетающий “быстрое” и “медленное” мышление. Во-первых, в систему включена нейросеть, которая генерирует интуитивные идеи для решения задачи. Во-вторых, присутствует модуль символьных логических выводов, отвечающий за строгое обоснование решения по правилам.
Модель AlphaGeometry обучалась на 100 миллионах уникальных примеров, сгенерированных автоматически, без участия людей.
По словам Эвана Чена, тренера по математике и бывшего победителя олимпиады, решения AlphaGeometry очень логичны и легко проверяются: “В отличие от предыдущих ИИ-моделей, AlphaGeometry использует классические геометрические правила с углами и подобными треугольниками, как и ученики”.
Хотя для победы на олимпиаде AlphaGeometry еще далеко, ее возможности позволяют ей преодолеть порог бронзовой медали в 2000 и 2015 годах. Это первая в мире ИИ-система с таким уровнем мастерства в геометрии. Исследователи Google отмечают, что AlphaGeometry демонстрирует растущие способности ИИ к логическому мышлению и самообучению.
Код и модель AlphaGeometry опубликованы в открытом доступе. Это позволит специалистам в области математики и искусственного интеллекта использовать достижения технологии в своих исследованиях и внести вклад в её дальнейшее развитие.