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

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

Чтобы понять суть результата, нужно вспомнить, о чём говорит исходная гипотеза. Дзета-функция Римана строится на основе суммы обратных натуральных чисел и рассматривается для комплексного аргумента s, а гипотеза утверждает, что все нетривиальные нули этой функции лежат на вертикальной прямой с действительной частью 1/2. Риман в 1859 году показал, что поведение дзета-функции связано с распределением простых чисел — «атомов арифметики», которые встречаются вдоль числовой прямой всё реже. Если хотя бы один нетривиальный нуль окажется вне критической прямой, это будет означать крайне неожиданную закономерность в распределении простых чисел; Энрико Бомбьери в статье о премии тысячелетия прямо писал, что опровержение гипотезы вызвало бы хаос в этой области. Квазигипотеза же требует лишь доказать, что все нетривиальные нули заключены в более узкой вертикальной полосе, чем уже известная полоса между нулём и единицей.

Контекст важен и с точки зрения истории задачи. Гипотеза Римана была единственной из семи задач тысячелетия, перешедшей из знаменитого списка Давида Гильберта, представленного столетием ранее, что подчёркивает её особый статус в математике. Численно математики проверили, что первые 12 триллионов нетривиальных нулей лежат на критической прямой, однако это не даёт гарантии для всех нулей. Даже простое сужение области, в которой могут находиться нули, имеет огромные последствия: сам Риман доказал, что они лежат внутри полосы между нулём и единицей, а в 1896 году было показано, что на границах этой полосы нулей быть не может, что непосредственно привело к теореме о распределении простых чисел. Именно на этом фоне результат OpenAI выглядит не абстрактным упражнением, а шагом, затрагивающим фундаментальные основания теории чисел.

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

Сравнение с альтернативами показывает, чем нынешний случай отличается от типичных ИИ-анонсов. Ранние системы, такие как специализированные доказатели теорем, работали в строго формализованных рамках и давали проверяемые, но узкие результаты; универсальные модели чаще предлагали наброски рассуждений, требующие ручной доработки. Здесь же, по словам математиков, речь идёт о неожиданном объединении хорошо известных идей, а не о введении новых понятий, что делает проверку более реалистичной. Именно сочетание знакомых инструментов и найденных между ними скрытых связей объясняет, почему специалисты восприняли результат серьёзнее, чем предыдущие заявления, и почему они готовы тратить время на его разбор.

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