Astra от OpenAI решает 10 давних математических задач и публикует доказательства

OpenAI опубликовала доказательства для десяти математических задач, остававшихся нерешёнными как минимум с 2016 года, используя внутреннюю версию своей будущей модели Astra. Среди результатов — конструкция, доказывающая существование не‑софических групп, задача, открытая с 1999 года. Все записи рассуждений и сертификаты были обнародованы.

Для решений потребовалось вычислительных ресурсов примерно на $2000 по тарифам API‑токенов. Однако системе не удалось решить ни одну из задач Премии тысячелетия.

Эти откровения подчёркивают ускоряющийся темп исследований с помощью ИИ и могут повысить ожидания от рассуждающих моделей в технических областях.