一句话
黎曼猜想断言：ζ 函数的所有非平凡零点都躺在临界线 $\operatorname{Re}(s) = 1/2$ 上。
是什么
ζ 函数分两层理解：
- 初等定义（s 为实数且 >1）：$$\zeta(s) = 1 + \frac{1}{2^s} + \frac{1}{3^s} + \frac{1}{4^s} + \cdots$$（此时收敛）
- 解析延拓：把它光滑延拓到整个复平面（除 s=1 一个极点外）——黎曼 1859 年的关键一步，让「零点」有了定义
零点的分类：
- 平凡零点：s = −2, −4, −6, …（负偶数），早已完全清楚
- 非平凡零点：其余零点，全部落在临界带 $0 < \operatorname{Re}(s) < 1$ 内
- 临界线：Re(s) = 1/2 这条竖直线
黎曼猜想：所有非平凡零点都在临界线上。
为什么重要
黎曼发现素数的分布与 ζ 函数零点的位置精确挂钩：
- 欧拉乘积公式：$$\zeta(s) = \prod_{p} \frac{1}{1 - p^{-s}}$$——把「加法世界的自然数求和」翻译成「乘法世界的素数乘积」
- 由此，素数分布规律 ⟺ ζ 零点分布规律
- 黎曼猜想成立 ⟺ 素数分布具有最强的「拟随机性」——素数像独立抛硬币一样没有长程规律
它是整个解析数论的支柱：无数定理以「在黎曼猜想成立的前提下……」开头。它不是「算不出来的题」，而是缺少理解素数随机性的数学工具——证明「没有规律」远比证明「有规律」难。
1900 年希尔伯特列为 23 问之列；2000 年 Clay 研究所列为千禧年七大难题（悬赏 100 万美元）。
直觉（怎么理解）
- 「素数像抛硬币」：猜想说素数出现没有长程偏斜，验算到天文数字都一致，但没有理论保证。
- 等价命题很好用：$\pi(x) = \mathrm{Li}(x) + O(\sqrt{x}\cdot\ln x)$——素数定理的精确误差项（素数定理只证主项，RH 证的是余项）
- 等价形式遍布数论、概率论、动力系统——这个猜想「在哪里都会被撞上」，触及数学根基。
进展与现状
| 层面 | 结果 |
|---|---|
| 数值验证 | 前 $10^{13}$ 个非平凡零点全部在临界线上（Odlyzko 等）——无数零点无一反例，但数值不能证明 |
| 部分定理 | 非平凡零点全部在临界带内（Hadamard / de la Vallée Poussin 1896，兼证素数定理） |
| 临界线上比例 | 已证 > 40% 非平凡零点在临界线上（Conrey 1989） |
| 推广 | 广义黎曼猜想（GRH）、朗兰兹纲领——RH 是最简情形 |
| 当前状态 | 开放。无数尝试后，学界共识是「缺少根本性新工具」 |
应用
- 密码学基础：公钥密码（RSA）依赖素数生成；广义黎曼猜想决定「素数资源的理论安全边界」（实际工程不依赖 RH）
- 数论下游：素数间隙、算术级数中的素数（张益唐类结果在 GRH 假设下可大幅改进上界）
- 数学分水岭：RH 成立与否决定整个解析数论大厦的地基强度——对数学的影响是「结构性」的
阅读路线（入门到专业）
- 科普入门：《素数之恋》（Prime Obsession，Derbyshire）——历史+直觉双线并进，最佳起点
- 中阶：Edwards《Riemann's Zeta Function》；《The Riemann Hypothesis》（Mazur / Stein）
- 专业：Titchmarsh《The Theory of the Riemann Zeta-Function》；Ivić《The Riemann Zeta-Function》
- 视频：3Blue1Brown ζ 函数可视化、Numberphile 黎曼猜想系列
三态标签（DOXA 精神）
- 当前状态：开放（未证明未证伪；只有海量验证，无理论保证）
- 若未来给出公认证明：本页升级为 已验证，补上证明者与路径
- 任何声称证明：先标 存疑，待同行评审通过再转为已验证（DOXA 反「为发而发」立场）
来源：Titchmarsh《The Theory of the Riemann Zeta-Function》；Edwards《Riemann's Zeta Function》；Derbyshire《Prime Obsession》；Clay Millennium Prize Problems 官方页。