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

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

Демис Хассабис, генеральный директор DeepMind Technologies. Фото: Jose Sarmento Matos / Bloomberg

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

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

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

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

Подробнее на iXBT