ИИ AlphaGeometry2 от Google DeepMind обошёл золотых медалистов в решении олимпиадных задач по геометрии

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

Команда DeepMind интегрировала AlphaGeometry2 с другой своей инновацией — системой Alpha Proof, предназначенной для математических доказательств. Эта синергия позволила решить четыре из шести задач, представленных на прошлогодней IMO. Для того чтобы глубже оценить потенциал системы, ученые провели расширенные испытания, используя широкий спектр задач из олимпиад последней четверти века.

В основе работы AlphaGeometry2 лежит сочетание нескольких ключевых компонентов, включая языковую модель Gemini от Google. Другие части системы применяют математические принципы для поиска решения исходной задачи или отдельных её аспектов. Исследователи отмечают, что для решения многих олимпиадных заданий нужно добавлять определенные конструкции перед началом работы, и их система способна автоматически создавать такие элементы.

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

Для проведения тестирования исследователи выбрали 45 задач из IMO. Некоторые из них потребовали преобразования в более удобный формат, увеличив общее количество задач до 50. AlphaGeometry2 успешно решила 42 из них, что несколько превосходит средние достижения человека-золотого медалиста на этом соревновании.

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

Источник: iXBT