В ходе международной математической олимпиады, где соревнуются самые одаренные школьники мира, была представлена инновационная AI-система AlphaGeometry, способная решать сложные геометрические задачи на уровне золотых медалистов. Новый подход, описанный в опубликованной статье в журнале Nature, ставит систему на уровень, сопоставимый с человеческими достижениями в этой области.
Тестирование AlphaGeometry на 30 задачах международной олимпиады по геометрии продемонстрировало, что система успешно решила 25 из них в установленные временные рамки, что близко к среднему результату человеческих золотых медалистов (25.9 решенных задач). Предыдущая ведущая система решала всего 10 таких задач, что подчеркивает прорывной характер AlphaGeometry.
Смещение в сторону сложности геометрических задач связано с традиционными трудностями AI-систем, которые часто испытывают нехватку навыков рассуждения и качественных обучающих данных. AlphaGeometry использует гибридный подход: сочетание нейронной языковой модели и движка символических выведений. Это позволяет находить решения, опираясь как на интуитивные идеи, так и на строгие логические правила.
Кроме того, для обучения AlphaGeometry была разработана методика создания обширного набора синтетических данных объемом в 100 миллионов уникальных примеров, что позволяет избежать дефицита данных для обучения. Открытие кода и модели AlphaGeometry, а также применение других подходов в генерации и обучении данных, может открыть новые горизонты в математике, науке и искусственном интеллекте.
По словам Нго Бао Ча, лауреата медали Филдса и золотого медалиста IMO, успех AlphaGeometry в решении задач геометрии аналогичен решению шахматных задач — у обеих областей есть ограниченное количество разрешенных шагов на каждом этапе. Это делает достижения AlphaGeometry не только впечатляющими, но и значительными для дальнейших разработок AI в области математики.