OpenAI опубликовала 722 математические рукописи, созданные с помощью неизданной модели внутренней границы, разместив полную коллекцию в общедоступном репозитории GitHub под лицензией Apache-2.0. Релиз, о котором было объявлено в исследовательском посте под названием «Обмен прогрессом ИИ в математике» от 6 октября 2026 года, является одним из крупнейших на сегодняшний день отдельных свалок математических результатов, полученных с помощью ИИ, и сопровождается формальными проверками Lean, сокращенными изложениями рассуждений и необычными подробностями о том, сколько вычислений потребовалось для каждого результата.

Этот ход попадает в поле, уже находящееся на краю. The New York Times сообщила, что этот релиз еще больше взволновал математическое сообщество, которое месяцами боролось с системами искусственного интеллекта, дающими серьезные результаты исследований, в то время как Scientific American описал OpenAI как высвободивший «сотни новых математических результатов в области, которая уже находится в шоке». Для читателей, отслеживающих [последние разработки в области исследований в области искусственного интеллекта] (https://aibuzzwire.news), этот релиз является проверкой того, как передовые лаборатории делятся результатами машинной науки, не разжигая кредитных споров.

Что находится внутри репозитория

Коллекция находится в репозитории openai/math на GitHub. Согласно README, содержимое представляет собой математические рукописи и подтверждающие артефакты, созданные внутренней моделью OpenAI, собранные в рамках оценок разработки моделей по открытым исследовательским проблемам. Текущий каталог содержит 722 рукописи, сгруппированные в 372 семейства, где семейства группируют связанные статьи, которые могут включать основной результат, сопутствующие аргументы, следствия или альтернативные доказательства, каждое из которых классифицируется по математической дисциплине.

В каталоге препринтов хранятся PDF-файлы, исходные файлы, а также ссылки на рукописи и инструкции по сборке. Библиотека бережливого производства каталогизирует формальные доказательства вместе с соответствующими документами и конфигурациями проверки. Не каждая рукопись была формализована: многие результаты сопровождаются формализацией в Lean, языке программирования, используемом для того, чтобы компьютеры могли проверять доказательства строка за строкой, но README предупреждает, что некоторые неформализованные результаты могут содержать проблемы. OpenAI заявляет, что быстро исправит такие проблемы, и обязуется сохранять общедоступную историю выпусков коллекции, записывать исправления и версии как новые версии, сохраняя при этом доступ к более ранним версиям. В каждом каталоге рукописей также имеется блок BibTeX для цитирования.

Как были получены результаты

Подавляющее большинство результатов было получено с помощью одной фиксированной процедуры с использованием невыпущенной внутренней модели OpenAI. В ходе оценки модели было поставлено около 4000 задач. OpenAI сообщает, что средний опубликованный результат потребовал примерно трех часов мыслительных вычислений ChatGPT Pro — уровень прозрачности, который все еще редко встречается в отрасли. Компания заявляет, что расширила эти оценки после того, как ее существующие математические тесты были насыщены, и что некоторые результаты основаны на более ранних результатах, полученных с помощью ее собственных моделей. Требование соответствующего уровня значимости и объединение необработанных результатов в семейства и рукописи привели к созданию опубликованного каталога.

Два названных исключения отклонились от этой процедуры: работа по установлению области без нуля для дзета-функции Римана с описанием, охватывающим область Re (s) > 11/12, отредактированным человеком для удобства чтения, и доказательство гипотезы Ходжа для абелевых многообразий CM. Оба являются серьезными математическими направлениями, и оба теперь предстанут перед глазами сообщества.

Также опубликованы десять сокращенных изложений обоснований модели. Они охватывают такие результаты, как показатель иррациональности числа Пи, симметричные и общие гипотезы Малера, изоморфизм факторов свободной группы, квазиполиномиальные оценки арифметических прогрессий, гипотеза Капланского о прямой конечности во второй характеристике, формула Мезара-Паризи для разбавленных спиновых стекол, спонтанная намагниченность в квантовом ферромагнетике Гейзенберга и трехмерная релятивистская система Власова-Максвелла.

Консультативная группа помогла сформировать релиз

OpenAI сообщает, что консультировалась с независимой консультативной группой по математике и искусственному интеллекту в Институте перспективных исследований при разработке лучших практик обмена результатами. Эта группа опубликовала свои рекомендации по ответственному выпуску 29 сентября 2026 года, получив более 600 ответов от математического сообщества. Рекомендации прямолинейны: «мы не одобряем эту практику и просим их прекратить тестирование сложных математических задач на проприетарных моделях». Группа призывает лаборатории размещать результаты в научных репозиториях, которые не контролирует ни одна лаборатория искусственного интеллекта, присваивать постоянные цитируемые идентификаторы, раскрывать название модели, используемые подсказки и обобщенные цепочки рассуждений, а также воздерживаться от рассмотрения публикации результатов как маркетингового средства.

Релиз OpenAI — это явно попытка соответствовать этой структуре, а не игнорировать ее. Примет ли это сообщество – другой вопрос. В опросе консультативной группы конкретно задавался вопрос о сценарии, в котором лаборатория объявляет о существовании множества результатов, не предоставляя подробностей, а появившиеся рекомендации отражают глубокую обеспокоенность по поводу того, что объявления опережают проверку.

Бремя верификации перекладывается на математиков

Практическая задача теперь принадлежит работающим математикам. Формальные доказательства бережливого производства можно проверить механически, и их наличие существенно снижает риск ошибки. Но рукописи без формализации, которые сам README помечает как потенциально ошибочные, требуют традиционного рецензирования, а 722 рукописи — это далеко за рамки того, что сообщество может быстро усвоить. Существует также вопрос приоритета и кредитоспособности: математики, которые годами работали над этими проблемами, захотят точно знать, что задавалось модели, что она давала и был ли включен в нее какой-либо человеческий результат. Публикация OpenAI сводок подсказок и статистики вычислений призвана заранее ответить на некоторые из этих вопросов.

Релиз также устанавливает шаблон, которому конкуренты могут следовать. Anthropic, Google DeepMind и другие лаборатории с передовыми моделями, способными выполнять математические задачи исследовательского уровня, теперь сталкиваются с фактической нормой, сформулированной консультативной группой, согласно которой результаты, скрытые в проприетарных моделях, должны либо публиковаться с полным происхождением, либо вообще не демонстрироваться.

На данный момент репозиторий работает, работа по формализации продолжается, а версии исправлений публикуются. Станет ли это стандартным руководством для математики, генерируемой ИИ, или еще одной горячей точкой в ​​расширяющемся конфликте между лабораториями и исследовательскими сообществами, которые они используют, будет зависеть от того, как пройдут следующие несколько недель исследования.

Будьте на шаг впереди ИИ

Наука, созданная ИИ, переходит от пресс-релизов к экспертной оценке. Следите за последними новостями об искусственном интеллекте на aibuzzwire.news, чтобы быть в курсе всех крупных исследовательских выпусков, запуска моделей и изменений в политике.

Читать больше новостей об искусственном интеллекте →