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