Несмотря на регулярные сенсационные сообщения, гипотеза Римана остаётся одной из нерешённых задач тысячелетия. Clay Mathematics Institute продолжает относить её к открытым проблемам и обещает миллион долларов за признанное доказательство.
Гипотеза относится к дзета-функции Римана. У неё есть «тривиальные» нули в отрицательных чётных числах и нетривиальные комплексные нули. Утверждение состоит в том, что действительная часть каждого нетривиального нуля равна 1/2.
При чём здесь простые числа
Дзета-функция связана с простыми числами через произведение Эйлера. Теорема о распределении простых описывает их среднюю плотность, а положение нулей задаёт точность отклонений от этого среднего. Доказательство усилило бы множество оценок в теории чисел, но не превратилось бы автоматически в «взлом всей криптографии».
Компьютеры проверили огромное число нулей на критической линии, а математики доказали важные частичные результаты. Конечная проверка не охватывает бесконечное множество. Предложение доказательства также не становится результатом до экспертной проверки, публикации и признания сообществом.
Заголовок «гипотеза доказана» можно честно сохранить только как разбор очередной заявки: кто её сделал, где опубликован текст и прошла ли работа проверку. На 10 сентября 2026 года общепризнанного доказательства нет.
Что утверждает гипотеза Римана
Дзета-функцию сначала задают рядом, связанным с обратными степенями натуральных чисел, а затем аналитически продолжают почти на всю комплексную плоскость. У неё есть «тривиальные» нули в отрицательных чётных целых числах и нетривиальные нули в критической полосе между действительными частями 0 и 1.
Гипотеза утверждает, что действительная часть каждого нетривиального нуля равна 1/2. Это точное математическое предложение. Оно не говорит, что простые числа расположены по простой периодической формуле, но ограничивает величину отклонений в их распределении.
Почему простые числа оказываются рядом
Эйлерово произведение связывает дзета-функцию с простыми числами: каждое целое число раскладывается на простые множители, и эта структура кодируется в функции. Формулы, считающие простые числа до заданной границы, содержат вклад нулей дзета-функции. Чем точнее известно их расположение, тем точнее можно ограничить ошибку приближений.
Теорема о распределении простых чисел уже доказана без гипотезы Римана. Гипотеза усилила бы оценки остатка и множество связанных результатов. Поэтому её значение велико, но неверно говорить, что без неё математика не знает ничего о простых числах.
Что уже проверено
Миллиарды и триллионы первых нулей вычислительно находили на критической прямой, а для разных классов функций доказаны аналоги. Математики получили результаты о доле нулей на линии и областях, где нулей нет. Всё это поддерживает гипотезу и развивает инструменты, но проверка конечного числа случаев не покрывает бесконечность.
Периодически появляются препринты с заявлением о доказательстве. Доказательство становится принятым только после тщательной проверки специалистами, устранения пробелов и устойчивого признания. Статус задачи на сайте Clay Mathematics Institute остаётся простым критерием: она входит в нерешённые задачи тысячелетия.
Что изменит доказательство
Верное доказательство, вероятно, откроет новые методы в анализе и теории чисел. Некоторые условные теоремы станут безусловными. Однако современная криптография не рухнет автоматически: её безопасность зависит от конкретных вычислительных задач, а гипотеза не выдаёт алгоритм факторизации.
Заголовок этой страницы разумно сохранить только как вопрос, на который статья даёт ясную коррекцию. По состоянию на проверку гипотеза Римана не доказана и не опровергнута.
История формулировки
Риман высказал гипотезу в короткой работе 1859 года о числе простых меньше заданной величины. Он заметил связь с нулями функции и написал, что строгого доказательства пока не имеет. Последующие поколения развили комплексный анализ, спектральные идеи и вычислительные методы вокруг этой строки.
Некоторые утверждения доказаны при условии гипотезы, другие используют более слабые оценки. Это создаёт большую сеть результатов, но не скрытое доказательство самой гипотезы.
Источники: Clay Mathematics Institute; Clay Mathematics Institute.
