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