DeepMind
Система искусственного интеллекта под названием AlphaGeometry, разработанная британской компанией Google DeepMind, продемонстрировала способность решать задачи по геометрии, сравнимую с уровнем золотых медалистов Международной математической олимпиады (IMO) — престижного соревнования для старшеклассников.
Что известно
Как пишут исследователи из DeepMind, AlphaGeometry смогла решить 25 из 30 тестовых задач IMO за отведенные 4,5 часа. Этот результат сопоставим со средними показателями человеческих победителей олимпиады.
Сравнение продуктивности AlphaGeometry, предыдущей модели и медалистов IMO
Система сочетает два различных подхода:
- нейронную языковую модель, генерирующую интуитивные идеи;
- механизм символической дедукции, проверяющий идеи с помощью формальной логики и правил.
Языковая модель основана на той же технологии, что и поисковая система Google и системы понимания естественного языка. Механизм дедукции вдохновлен методом, разработанным китайским математиком Вэнь-Цюнь Ву (Wen-Tsün Wu) в 1978 году.
Как отмечают эксперты, результаты исследования демонстрируют прогресс в развитии машинного интеллекта, способного к логическому мышлению и открытию новых математических знаний. Однако они признают наличие ограничений в AlphaGeometry.
Тем не менее в будущем подобные системы могут найти широкое применение для ускорения научных исследований в математике, естественных науках и других областях, уверены в DeepMind. Для этого они выложили исходный код AlphaGeometry на GitHub.