OpenAI выложила 722 математические рукописи, а Юаньдун Тянь ждёт потери работы

OpenAI выложила на GitHub сразу 722 рукописи математических статей. Их объединили в 372 «семейства» результатов, и вместе они охватывают 17 областей математики. Все тексты написала внутренняя модель, у которой нет публичного имени. По описанию Jiqizhixin, она заметно превосходит GPT-6 Astra. Почти одновременно исследователь Юаньдун Тянь заявил, что после последней статьи, написанной вместе с GPT-5, он понял: его работа исчезнет в ближайшие пять лет.

Такая публикация показывает, как OpenAI хочет демонстрировать возможности модели. Бенчмарк с одним числом на выходе здесь заменён массивом текстов, которые математики могут читать, оспаривать и ловить на ошибках.

Что именно опубликовано

Цифры в материале Jiqizhixin такие: 722 рукописи, 372 семейства результатов, 17 разделов. «Семейством» обычно называют группу близких теорем или вариаций одного утверждения. Среднее выходит почти по две рукописи на семейство, то есть часть результатов развита в нескольких текстах.

Важна оговорка. Это рукописи, а не рецензированные публикации. Часть текстов может оказаться тривиальной, часть содержать ошибки, и без независимой проверки нельзя сказать, сколько среди них действительно новых результатов. В доступной части материала нет данных о числе проверенных доказательств. Нет и данных об участии людей в отборе: показали ли всё подряд или лучшее.

Сама модель закрыта и не анонсирована. Сравнение с GPT-6 Astra опирается на описание в источнике, воспроизвести его снаружи нельзя.

Реакция Юаньдуна Тяня

Тянь известен как исследователь ИИ, и его фраза тем показательнее, что он сам пишет работы вместе с моделями. Он описывает последнюю статью, написанную в паре с GPT-5, как момент осознания. Срок он называет конкретный: пять лет.

Это личная оценка, а не прогноз с расчётами. Но показательно, что её дал практик, а не комментатор со стороны. Исследователь видит, на какой стадии модель перестаёт быть ассистентом и начинает выдавать результаты целыми семействами.

Ключевые факты

• Объём: 722 рукописи на GitHub.
• Структура: 372 семейства результатов.
• Охват: 17 областей математики.
• Автор текстов: внутренняя неанонсированная модель OpenAI без публичного названия.
• Сравнение: по описанию Jiqizhixin, значительно сильнее GPT-6 Astra.
• Статус: рукописи, независимая верификация не подтверждена.
• Прогноз Тяня: замена исследователя в течение пяти лет.

Как с этим работать

Для математиков и исследователей ИИ ближайшая практическая задача проста: разобрать репозиторий. Если в семействах окажутся нетривиальные результаты, проверять их придётся быстрее, чем модель их генерирует. Узким местом станет рецензирование, а не идеи.

Для лабораторий и университетов вопрос организационный. Нужны правила указания авторства, процедура формальной проверки (например, через системы автоматического доказательства) и понимание, кто несёт ответственность за ошибку в тексте, написанном моделью.

Для читателей новостей разумная позиция такая: не принимать ни громкие заявления, ни скепсис на веру. Пока модель закрыта, а рукописи не проверены, оценку можно строить только на том, что выдержит проверку в открытых обсуждениях математического сообщества.