Модель Astra от OpenAI решила 10 давних математических проблем — от упаковки сфер в многомерных пространствах до квантовой теории игр. Главным открытием стало опровержение гипотезы о софичности групп.
Софичность — это свойство математических групп операций, сформулированное в 1999 году. С тех пор считалось, что все счетные группы им обладают. Astra нашла единственный контрпример, разрушив эту гипотезу.
Но математики радуются осторожно. Франческо Фурнье-Фачо из Кембриджа, который изучает эту проблему с 2020 года, указывает: решение Astra во многом опирается на работы Андреаса Тома и Габора Куна 2016–2019 годов. По его словам, ИИ пока силен в поиске контрпримеров — их легко проверить. Но самостоятельно строить новую теорию он еще не умеет.
Тем не менее профессор Абхишек Саха из Лондонского университета королевы Марии называет выпуск этих решений самым впечатляющим математическим результатом ИИ на сегодня:
«Любое из этих решений само по себе было бы значительным достижением».
А через два-три года, считает он, модели смогут замахнуться и на более глубокие проблемы.