Вобрав в себя дух Олимпийских игр Древней Греции, Международная математическая олимпиада служит современной ареной для самых одарённых школьников-математиков со всего мира. Это соревнование не только демонстрирует молодые таланты, но и становится полигоном для проверки передовых систем искусственного интеллекта в области математики и логического рассуждения.
В статье, опубликованной сегодня в журнале Nature, исследователи представили AlphaGeometry — систему AI, способную решать сложные геометрические задачи на уровне, приближенном к человеческому обладателю золотой медали Олимпиады. В рамках бенчмаркингового теста AlphaGeometry успешно решила 25 из 30 сложных задач за стандартный ограниченный временем срок, в то время как предыдущая ведущая система смогла решить только 10 задач из аналогичного списка.
AlphaGeometry представляет собой нейросимволическую систему, в состав которой входят нейронная языковая модель и символьный движок дедукции, совместно работающие для нахождения доказательств сложных геометрических теорем. Эта система сочетает в себе предсказательную мощь нейронных сетей и строгие правила логики, обеспечивая быстрые и точные решения. Разработка метода генерации обширного пула синтетических обучающих данных — 100 миллионов уникальных примеров — позволяет обучать AlphaGeometry без необходимости в человеческих демонстрациях, тем самым преодолевая дефицит данных.
Проведённые испытания показали, что AlphaGeometry способна не только эффективно решать задачи Олимпиады, но и открывает новые горизонты в области искусственного интеллекта и математического рассуждения. С новыми возможностями, которые предоставляет эта система, авторы надеются, что она станет основой для новых достижений в математике и науке впредь.