OpenAI опубликовала отчет о решении 10 открытых математических проблем с помощью ИИ. Модель не просто выдала сухие доказательства. Она задокументировала весь процесс поиска. Нейросеть описала тупиковые ветви, смену перспектив и ключевые инсайты. Автоматическое доказательство теорем переходит из разряда экспериментов в рутину. Только за одну неделю алгоритмы выдали 7 значимых результатов.

В документе разбирается логика машины на конкретных примерах. Среди них — многомерная упаковка сфер, бинарные коды и контрпример к жесткости Конна. Для каждой задачи ИИ восстановил цепочку рассуждений. Текст показывает, какие идеи казались перспективными, но привели к препятствиям. Главная ценность заключается в подробном объяснении математического мышления. Это не просто финальная формула, а полноценный лог исследований.

Для создания не-софической группы алгоритм использовал самоподобные кольца вместо конечных перестановок. В задаче квантового повторения модель перешла от калибровок к очищению резольвенты. Такой подход позволяет исследователям проверять логику ИИ на каждом этапе. Машина больше не работает как черный ящик с ответом. Она предлагает пошаговую архитектуру доказательства для верификации профильными математиками.