OpenAI опубликовала математические результаты внутренней модели
2026-10-06 OpenAI опубликовала набор новых математических результатов, подготовленных внутренней моделью, название которой не раскрывается. Вместе с рукописями компания разместила материалы для проверки: формализованные версии части доказательств на Lean, сведения о числе попыток и 10 сокращённых описаний процесса решения. По данным OpenAI, на один принятый результат в среднем расходовался объём вычислений, сопоставимый примерно с тремя часами работы ChatGPT Pro.
Материалы доступны в открытом репозитории, однако сама модель пока не выпущена ни в ChatGPT, ни через API. Цена, условия доступа, архитектура и сроки запуска не объявлены. Lean-формализация позволяет автоматически проверить отдельные доказательства, но охватывает не весь опубликованный массив; независимой оценки всех результатов пока нет. OpenAI также предусмотрела порядок исправления рукописей и оформления ссылок на них.
Для исследовательских подразделений публикация полезна как пример применения языковых моделей к поиску и проверке математических решений. Прямую стоимость такой работы в USD или рублях рассчитать нельзя: тариф модели и фактические вычислительные затраты не раскрыты. Основной риск — принять опубликованный результат за подтверждённое открытие до полной экспертной проверки; компаниям следует отдельно воспроизводить доказательства, проверять формализации и привлекать профильных специалистов.
OpenAI сообщает, что готовит ответственное предоставление доступа к модели и планирует дополнять репозиторий новыми формализациями. Сроки, формат выпуска и коммерческие условия пока не названы; их стоит отслеживать отдельно от оценки научной корректности материалов.