OpenAI опубликовала 722 математические статьи, написанные ИИ

6 октября OpenAI опубликовала 722 математические статьи, которые подготовил ИИ. Среди них есть работы с доказательствами, связанными с квази-гипотезой Римана. Для сравнения: целая математическая подобласть за год производит сотни публикаций силами тысяч людей, а здесь такой объём появился одним пакетом. В тот же день китайские медиа, включая Jiqizhixin, заговорили о RSI, рекурсивном самоулучшении: по их данным, одна из команд китайского происхождения уже прошла масштабируемый замкнутый цикл. Подробностей о самой команде в доступном фрагменте нет, поэтому ниже мы разделяем то, что подтверждено, и то, что остаётся заявлением.

Что известно о релизе

Факты скромные, но весомые. Дата: 6 октября. Объём: 722 статьи. Тематика: математика, в том числе доказательства, связанные с квази-гипотезой Римана. Это не решение самой гипотезы Римана, и источник такого не утверждает. Сравнивать оба результата нельзя: речь о родственной, более слабой постановке.

Громче всех высказался Христиан Сегеди, бывший учёный Google и сооснователь xAI. По его словам, вершины, на которые математики поднимались всю жизнь, машина может взять, «прилетев на самолёте». Сразу за этим он добавил оговорку: математика не подходит к концу, меняется сам способ исследования. Сегеди давно занимается автоформализацией, то есть переводом математики в машинно проверяемый вид, так что его оценка исходит от практика, а не от стороннего наблюдателя.

Где здесь RSI

Аббревиатура RSI обозначает цикл, в котором модель улучшает собственные результаты или собственное обучение, а следующая итерация стартует с более высокой точки. Математика для такого цикла почти идеальный полигон: у доказательства есть формальный критерий верности, и ответ можно проверить без человека. Если проверка автоматическая, цикл генерации и отбора замыкается и масштабируется на вычислениях.

Именно это, судя по заголовку, и называет «пройденным» упомянутая китайская команда. Какие модели, сколько GPU, какой процент ложных доказательств отсеивается проверкой, в тексте не раскрыто. Без этих цифр заявление остаётся ориентиром, а не измеренным результатом.

Что мы знаем и чего не знаем:

• Дата публикации: 6 октября 2026 года.
• Объём релиза: 722 работы.
• Тематика: математика, включая доказательства вокруг квази-гипотезы Римана.
• Независимая экспертиза всех 722 статей: данных нет.
• Доля работ, проверенных формально (в Lean или аналогах): не указана.
• Метрики китайской команды (модели, вычисления, число итераций цикла): не раскрыты.

Что делать с этой новостью

Первое: не принимать объём за качество. 722 статьи сами по себе ничего не доказывают, пока рецензенты и формальные верификаторы не разберут выборку. Разумный индикатор здесь доля работ, чьи доказательства прошли машинную проверку, а не число названий в списке.

Второе: следить за тем, кто проверяет. Если сильные результаты придут с формальной верификацией, это сигнал, что цикл «генерация, проверка, отбор» работает на практике. Если нет, перед нами скорее гипотезы, оформленные как статьи.

Третье: для исследователей и разработчиков агентов вывод прикладной. Области с дешёвой автоматической проверкой (формальная математика, часть программирования, верифицируемый код) станут первыми, где RSI-подобные схемы дадут реальный выигрыш. Там, где критерий верности размыт, как в биологии, экономике и праве, такой цикл упрётся в человека.

И последнее. Слова Сегеди про изменение «способа исследования» стоит читать буквально: математик будущего всё чаще формулирует задачи и оценивает результаты, а не выводит каждый шаг руками. Дальше всё зависит от того, насколько открыто OpenAI и китайские команды покажут данные, на которые опираются их заявления.