Система искусственного интеллекта, разработанная лабораторией Google DeepMind, превзошла среднего золотого медалиста в решении геометрических задач на международном математическом конкурсе. Новая версия системы, названная AlphaGeometry2, способна решать 84% всех геометрических задач, которые появлялись на Международной математической олимпиаде (IMO) за последние двадцать пять лет.
AlphaGeometry2 использует модель языка из семейства моделей Gemini от Google и «символьный двигатель». Модель Gemini помогает двигателю, который использует математические правила для вывода решений задач, находить возможные доказательства для заданной геометрической теоремы. Испытания системы показали, что она успешно решила 42 из 50 задач, превзойдя средний результат золотых медалистов, который составляет 40,9 балла.
Однако AlphaGeometry2 имеет свои ограничения. Она не может решать задачи с переменным количеством точек, нелинейными уравнениями и неравенствами. Кроме того, система показала худшие результаты на более сложных задачах, которые были предложены для IMO, но еще не появились на конкурсе. Из 29 таких задач AlphaGeometry2 смогла решить лишь 20.
Несмотря на это, результаты исследования вызывают интерес к комбинированному подходу, который объединяет манипуляцию символами и нейронные сети. По словам исследователей DeepMind, модель AlphaGeometry2 демонстрирует перспективность такого подхода в поисках универсальных ИИ-систем. Это подтверждается тем, что другие нейронные сети, такие как o1, не смогли решить ни одной из задач, которые решила AlphaGeometry2.
