11 октября 2026 г.
Непубличная модель OpenAI дала математические результаты: 372 семейства лежат на GitHub
OpenAI выложила 372 семейства математических манускриптов на GitHub 6 октября 2026. Модель, которая их дала, не выпущена: ни названия, ни API, ни цен.
Из примерно 4000 задач, поставленных модели, выросли 372 семейства манускриптов. Доля решённых задач в README не названа.
Что открыто. Репозиторий openai/math: PDF-препринты, исходники, карта манускриптов CONTENTS.md, обзорный PDF и Lean-библиотека с каталогом формализаций. Лицензия Apache-2.0. Начинать стоит с обзорного PDF и CONTENTS.md: запустить саму модель нельзя. На один результат ушло около трёх часов «ChatGPT Pro thinking», по формулировке OpenAI.
Не хотите разбираться сами? Внедряем ИИ в ваш бизнес: задачи без лимита, одна цена в месяц, отмена в любой момент.
Что проверено. OpenAI сама предупреждает, что часть неформализованных результатов может содержать ошибки. Исправления обещаны, сроков нет. Результат без Lean-доказательства проверенным считать нельзя.
Обучение внутренней модели началось 28 августа 2026, оценки стартовали 1 сентября. OpenAI пишет, что работает над ответственным выпуском модели.
Сроки исправлений и выпуска модели OpenAI не назвала.
* Meta Platforms Inc. признана в РФ экстремистской организацией, её деятельность запрещена; Facebook и Instagram заблокированы. Meta AI и другие продукты компании — продукты этой организации.
Первоисточник