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