OpenAI доказала квазигипотезу Римана: 722 статьи и одна правка человеком

Что произошло, почему это важно и что взять в работу.

ИИ впервые выдал математическое доказательство, которое эксперты признали верным, — это меняет ожидания от LLM в науке и R&D-продуктах.

Связанные услуги: каталог, AI Boost Team, стать клиентом.

722 статьи одним пакетом. Внутри — 377 результатов. Один из них специалисты по теории чисел читали две недели и в основном согласились: доказательство держится.

Речь о квазигипотезе Римана. OpenAI выложила материалы 6 октября 2026 года, и это, пожалуй, первый случай, когда математический результат от языковой модели прошёл не через пресс-релиз, а через живых рецензентов из Стэнфорда, NYU, Georgia Tech, Принстона, Ратгерса и Ватерлоо.

Что именно закрыли, а что нет

Гипотеза Римана сформулирована в 1859 году и до сих пор открыта — больше 160 лет. Она про то, где дзета-функция обращается в ноль. Риман показал: нетривиальные нули лежат в вертикальной полосе между 0 и 1. В 1896-м доказали, что на краях этой полосы нулей нет, и получили теорему о распределении простых чисел. Сама гипотеза утверждает куда более сильную вещь: все нетривиальные нули стоят ровно на прямой 1/2.

Квазигипотеза — ослабленная версия. Не «все на прямой», а «все в полосе уже, чем от 0 до 1». Чем уже полоса, тем больше можно сказать о простых числах.

Версий доказательства две. Первая датирована 30 сентября 2026 года: полоса от 1/8 до 7/8, 199 страниц, формально проверена на языке Lean. Вторая закончена почти неделей позже, заявляет более слабый результат — от 1/12 до 11/12 — и занимает 49 страниц, формальной проверки нет. Численно математики давно проверили 12 триллионов нетривиальных нулей: все на прямой. Проверка на конечном множестве ничего не говорит про все нули, и один выброс обрушил бы картину.

Почему это удивило тех, кто разбирал

Ждали, что для такого результата понадобятся новые понятия — новый язык, новый аппарат. Не понадобились. Модель нашла упущенное семейство функций и свела воедино давно известные методы, включая формулу Радзивилла и Данна 2021 года.

«Доказательство — неожиданный синтез хорошо известных идей».

Александр Данн из Georgia Tech говорит это про собственные инструменты, применённые кем-то другим. Максим Радзивилл из NYU оценивает последствия резче: они «ошеломляющие», потому что «подавляющее большинство следствий гипотезы Римана вытекает уже из квазигипотезы». Джаред Дьюкер Лихтман из Стэнфорда называет результат «самым значительным достижением ИИ в математике на сегодня, причём с большим отрывом».

Скромно по форме, крупно по смыслу. Сужение полосы — не решение гипотезы. Но это шаг, которого не было больше века.

Что это меняет для R&D и продуктов на LLM

Меняется планка ожиданий. До сих пор ИИ в науке продавали как генератор гипотез: накидай идей, дальше сам. Здесь модель выдала артефакт, который можно проверить независимо, и проверка прошла. Для продукта это другая архитектура: генератор, формальный верификатор, человек на спорных участках.

В математике верификатор есть — Lean. В маркетинге, праве, клинических протоколах, химии его нет. Там «ИИ проверил сам себя» не значит ничего. Восторг из этой истории переносится на ваши задачи только вместе с чекером, а не отдельно от него.

Второй урок — арифметика пакета. 722 статьи, 377 результатов, одна правка человеком, и та в версии с 11/12. OpenAI не раскрыла, кто правил и почему только её. Звучит как «человек больше не нужен». На самом деле нет: статьи, по словам Радзивилла, «написаны ужасно» — любой математический журнал отклонил бы их сразу, они сильно недотягивают до принятых стандартов изложения и ясности. Люди отложили 199-страничную версию и взялись за 49-страничную просто потому, что она короче.

Вот честная пропорция. Один результат из 377 дошёл до состояния, когда эксперты сели читать. Остальное — сырьё.

Где подвох

Не покупайте «ИИ-исследователя». Покупаете конвейер черновиков с обязательной приёмкой. Метрика не «сколько сгенерировали», а «сколько прошло независимую проверку». В этом пакете — один к трёмстам семидесяти семи.

И ещё деталь: доказательство построено на методах, которые Радзивилл и Данн придумали в 2021-м. Модель не изобрела аппарат, она нашла, как сложить существующий. Для бизнеса это хорошая новость. Не нужен прорыв, нужен аккуратный перебор связей в том, что уже лежит у вас в документации, коде и логах.