Научная работа, опубликованная в журнале Nature, представляет новый ИИ-систему под названием AlphaGeometry, которая успешно решает сложные геометрические задачи на уровне золотых медалистов Международной математической олимпиады. В тестах на 30 задачах олимпиады AlphaGeometry справилась с 25 из них за стандартное время, в то время как предыдущая лучшая ИИ-система решила лишь 10.
Инновация AlphaGeometry заключается в сочетании нейронной модели языка с символьным механизмом дедукции, что позволяет системе логически рассуждать и находить решения. К примеру, для ее обучения была создана база данных из 100 миллионов уникальных примеров, что обошло нехватку реальных данных. Этот подход может значительно продвинуть развитие глубоких математических рассуждений и открывает новые горизонты для ИИ в математике и других научных областях.
Система AlphaGeometry уже доступна для open-source сообщества, и ее разработчики надеются на дальнейшие достижения в области ИИ и математики.