6 октября 2026 года OpenAI открыла математические работы, полученные с помощью ещё не выпущенной модели. Компания опубликовала тексты, материалы для проверки доказательств и сведения о том, как проводилась оценка. По состоянию на 9 октября в каталоге доступны 719 рукописей, объединённых в 372 группы результатов.
Что входит в подборку
Среди заявленных результатов есть решения открытых задач, новые доказательства и алгоритмы вычислений. Число работ не равно числу независимых открытий: одна группа может объединять основной результат, вспомогательные рассуждения, следствия и альтернативные доказательства.
Например, в подборке есть работы об ускорении умножения матриц. Эта операция используется в нейросетях, однако теоретическое сокращение числа операций само по себе не гарантирует ускорения на современных видеокартах. Для практического применения нужно реализовать алгоритм и проверить его на реальных данных и оборудовании.
При оценке модели OpenAI предложила ей около 4 000 задач. По данным компании, на один полученный результат в среднем потребовался объём вычислений, эквивалентный примерно трём часам размышлений ChatGPT Pro. Это оценка вычислительных затрат, а не обещание, что любая математическая задача решается за три часа. Название внутренней модели и срок её выпуска не раскрыты.
Как проверяют доказательства
Часть работ сопровождается формализациями на Lean. Это язык и система, в которых математическое утверждение и доказательство записываются так, чтобы компьютер мог проверить логические шаги. По данным репозитория, формализовано около 42% основных результатов.
Такая проверка относится к конкретной формулировке и её предпосылкам. Она не устанавливает автоматически новизну результата или его практическую ценность. Остальные рукописи также требуют проверки; отсутствие формализации само по себе не означает, что доказательство ошибочно.
Почему работ стало меньше
Первоначальная подборка насчитывала 722 рукописи. Уже 7 октября OpenAI отозвала три: ошибка со знаком в одной работе нарушила аргумент, на который опирались ещё две. В 14 других рукописей внесли исправления, включая уточнения доказательств, условий и ссылок.
Поэтому подборку нельзя описывать как сотни окончательно подтверждённых открытий. Работы находятся на разных стадиях проверки. OpenAI сохраняет предыдущие версии и публикует историю изменений, чтобы можно было проследить, что именно исправлено.
Практическая применимость результатов пока не установлена и потребует отдельных исследований. Главный доступный результат публикации сейчас: специалисты могут изучать предложенные доказательства, воспроизводить формальные проверки и разбирать обнаруженные ошибки.
В репозитории OpenAI на GitHub собраны тексты работ, обзор результатов, формализации и история исправлений. Цифры в этой статье приведены по состоянию на 9 октября 2026 года. Обложка адаптирована из публикации OpenAI: текст переведён на русский с помощью AI.
