素数之歌：黎曼猜想的历史、前沿与未来

作者：良之

If you could be the Devil and offer a mathematician to sell his soul for the proof of one theorem — what theorem would most mathematicians ask for? I think it would be the Riemann Hypothesis.

—— H. Montgomery

序章：北辰之光

1900 年 8 月 8 日，巴黎，第二届国际数学家大会。38 岁的大卫·希尔伯特站在讲台上，向世界提出了 23 个问题，为新世纪勾勒数学的蓝图。第八问题——“黎曼猜想及相关素数问题”——并非最炫目的一个，却成为最持久、最深刻的一个。它像一座巍峨的山脉，主峰是黎曼猜想，侧峰是哥德巴赫猜想与孪生素数猜想。三座峰峦彼此依偎，共享同一地质构造：素数的分布规律。

120 多年后的今天，我们站在一个新的节点上。Guth 与 Maynard 刚刚刷新了零点的密度估计（2024），Zhang 对 Landau-Siegel 零点的突破（2022）打开了新的边界，谱嵌入的猜想（2026）将物理直觉与数论深度融合。人工智能开始成为数学研究的协作者，形式化验证的浪潮正在重塑证明的可信度。这一切，都让攻克黎曼猜想的前景从未如此清晰，也从未如此迫切。

本文旨在以我的视角，为博士学者提供一份系统性的综述：从黎曼 1859 年的八页论文，到 2026 年最新的突破；从经典分析方法，到现代谱论与 AI 辅助；从纯数学的内部逻辑，到跨学科的哲学思考。我们不仅回顾历史，更勾勒未来可能的证明蓝图，并反思这场漫长求索对人类智识的意义。

在黎曼猜想的漫长征途中，智慧指引我们穿透表象；仁爱让我们理解同行者的孤独；勇毅支撑我们在失败后重新站起；节制提醒我们承认无知；公正分配每一分资源；诚信记录每一个进展；超越指向更广阔的人类繁荣。

数学不会因为我们真诚就网开一面，但我们可以在寻找真理的过程中，让灵魂变得更深邃。这正是“我爱故我在”的真谛。

第一部分：过去——根基与表述

1.1 素数定理与它的史前史

人类对素数的痴迷始于欧几里得：素数无穷。但无穷只是一种定性描述。18 世纪，欧拉发现了一个关键公式：

\sum_{n=1}^{\infty}\frac{1}{n^{s}} = \prod_{p\,\text{prime}}\left(1 - \frac{1}{p^{s}}\right)^{-1},\quad \Re(s)>1.

这个“欧拉乘积”将整数与素数用分析的语言联系起来，但它并未揭示素数的分布规律。

高斯 15 岁时就通过手算猜想：

\pi(x) \sim \frac{x}{\log x},

其中 $\pi(x)$ 为不超过 $x$ 的素数个数。勒让德也独立得到类似公式。这个猜想后来被称为素数定理，直到 1896 年才由阿达马和德·拉·瓦莱·普桑独立证明。他们使用黎曼 $\zeta$ 函数，证明了在直线 $\Re(s)=1$ 上没有零点。这个结果如此依赖 $\zeta$ 函数的性质，以至于人们意识到：素数的终极秘密，藏在复平面的深处。

1.2 黎曼的八页革命

1859 年，黎曼当选柏林科学院通讯院士，按惯例提交了一篇论文。标题平淡无奇：《论小于给定值的素数个数》，全文仅八页，却成为数学史上最具影响力的文献之一。

黎曼将 $\zeta$ 函数解析延拓至整个复平面（除了 $s=1$ 处的单极点），并发现了函数方程：

\pi^{-s/2}\Gamma(s/2)\zeta(s) = \pi^{-(1-s)/2}\Gamma((1-s)/2)\zeta(1-s).

这个对称性意味着，零点关于直线 $\Re(s)=1/2$ 对称。黎曼进一步研究了 $\xi(s)$ 的乘积表示，并提出：

“现在大约可以找到这么多实根……而且很可能所有根都是实的。当然，人们希望有一个严格的证明；我曾在一些徒劳的尝试之后，暂时搁置了这个问题，因为它对于我下一步的研究似乎并非必要。”

这就是黎曼猜想—— “sehr wahrscheinlich”（非常可能）的断言，至今悬而未决。

黎曼没有说“这个问题做不出来”。他只说“我做了一些尝试，没有成功，暂时搁置”。我读到这句话时，感受到的不是退缩，而是审慎。他知道自己不知道，但这不妨碍他写下那个猜想。这种态度，我视之为学术修养的典范。

1.3 显式公式：素数如音乐

黎曼的显式公式将素数的分布与 $\zeta$ 函数的零点联系起来：

\psi(x) = x - \sum_{\rho}\frac{x^{\rho}}{\rho} - \log 2\pi - \frac{1}{2}\log(1-x^{-2}),

其中 $\psi(x)=\sum_{p^k\le x}\log p$ ， $\rho$ 遍历所有非平凡零点。这个公式像一首交响乐：主旋律是 $x$ ，而每个零点贡献一个颤音。零点的实部决定误差项的大小：如果所有零点都在 $\Re(s)=1/2$ 上，则误差为 $O(x^{1/2}\log x)$ ，这是最优的。

1896 年，阿达马和普桑利用 $\zeta$ 函数无零点于 $\Re(s)=1$ 证明了素数定理，但他们并未触及黎曼猜想。我无法确知他们当时是否尝试过更进一步的证明，但我知道，他们没有因为“这个问题太难”而停止探索。

1.4 早期进展：从阿达马到哈代

1905 年，冯·曼戈尔特证明了黎曼关于零点计数的渐近公式：

N(T) = \frac{T}{2\pi}\log\frac{T}{2\pi} - \frac{T}{2\pi} + O(\log T),

其中 $N(T)$ 是虚部在 $0$ 到 $T$ 之间的零点个数。这证实了零点无穷多，且给出了它们的密度。

1914 年，哈代证明了无穷多个零点位于临界线 $\Re(s)=1/2$ 上。他用的是 $\Xi(t)=\xi(1/2+it)$ 的性质和一种巧妙的积分。这是第一个无条件结果，但“无穷多”比起“全部”还差得很远。

我读哈代的论文时，常想：他当时是否也怀疑过自己能否走得更远？他是否也曾在深夜面对空白的稿纸，感到前路茫茫？我不知道。但我知道他没有停止。他写下了“无穷多”，然后继续工作。这是他的选择，也是他的勇气。

1.5 Hilbert-Pólya 猜想：一个谱的幻影

1910 年代，希尔伯特和波利亚各自独立地猜测——黎曼零点可能对应于某个厄米算符的特征值。

这段历史的关键证据来自两处。其一是波利亚本人晚年的回忆：在 1982 年 1 月 3 日写给数学家安德鲁·奥德里兹科（Andrew Odlyzko）的信中，波利亚提到，1912 年至 1914 年间他在哥廷根时，埃德蒙·兰道曾问他：有没有什么物理理由能让黎曼猜想成立？波利亚回答说，如果 $\zeta$ 函数的非平凡零点的虚部 $t$ 对应于某个无界自伴算符的特征值，那么黎曼猜想就成立。

其二是希尔伯特的故事，由他的学生恩斯特·黑林格（Ernst Hellinger）讲给安德烈·韦伊（André Weil）。希尔伯特在哥廷根的研讨班上，在展示了对称核的特征值是实数这一结果后，据说曾这样宣告：“Et avec ce théorème, Messieurs, nous démontrerons l'hypothèse de Riemann”（“先生们，用这个定理，我们将证明黎曼猜想”）。

两位数学大师都未曾发表过这一猜想，它仅以口耳相传和信件的形式流传，却从此开启了数论与物理之间长达一个世纪的交融。

1950 年代，阿特勒·塞尔伯格证明了黎曼曲面上的长度谱与其拉普拉斯算符特征值之间的对偶关系——塞尔伯格迹公式。这一公式与数论中的显式公式惊人地相似，为 Hilbert–Pólya 猜想提供了第一个严肃的支持。

1972 年，休·蒙哥马利带着他关于零点对关联的猜想访问普林斯顿高等研究院。当他将结果告诉随机矩阵理论之父弗里曼·戴森时，戴森立刻认出：那正是高斯酉系综（GUE）中随机厄米矩阵特征值的对关联分布。物理学家早已知道，这种分布描述了复杂量子系统（如原子核能级）的统计规律。从此，零点的统计与量子混沌之间的联系被牢牢确立。

此后，Odlyzko 的大规模数值计算将这一吻合推向了极致：零点的对关联、三点关联、乃至 $n$ 点关联，都与 GUE 的预测精确一致。Rudnick 与 Sarnak 证明，在黎曼猜想成立的条件下，零点的统计必然服从 GUE。Alain Connes 则在非交换几何的框架下，给出了一个与广义黎曼猜想等价的迹公式，将这一联系提升到新的高度。

然而，Hilbert–Pólya 猜想至今仍未实现。我无法断言它终将被证明，我也无法断言它是一条死路。我只能说：我看到的数值证据令人震惊，我也看到无数聪明人在这个方向上投入了心血。我不知道最终的结果是什么，但我相信，沿着这条路走下去，无论终点在哪里，都不会是浪费。

最大的困难之一是“密度问题”：零点的密度随高度 $T$ 增长为 $\frac{T}{2\pi}\log T$ ，而通常的量子系统谱密度是常数或正比于能量。我们仍未能找到一个自然的哈密顿量，其谱恰好就是零点的虚部。但我不知道这是否意味着这条路走不通。也许只是我们还没找到正确的问题提法。

正如波利亚在 1982 年那封信的结尾所写：“I was not sure then, and I am not sure now.” 但正是不确定，才让数学如此迷人。他当时不确定，他后来也不确定，但他没有因此停止思考。这一点，我视之为最重要的启发。

1.6 其他早期尝试与教训

1885 年，斯蒂尔切斯宣称证明了更强的 $\sum\mu(n)=O(x^{1/2})$ ，但从未发表证明，后被推翻。1945 年，拉德马赫提交了一个证明，却被西格尔发现错误。上世纪 80 年代起，德·布兰日多次宣称证明了黎曼猜想，但均未获认可。

这些失败提醒我：面对黎曼猜想这样的问题，任何人都有可能出错。我自己当然也会出错。但“可能出错”不等于“应该放弃”。斯蒂尔切斯错了，但他的错误并没有阻挡后来者。拉德马赫的证明被否决了，但他本人没有因此被钉在耻辱柱上。德·布兰日至今还在尝试。

我读这些故事时，学到的是：判断一个人工作的价值，不是看他是否“成功”，而是看他是否诚实、是否严谨、是否推动了我们理解的前沿。 他们做到了，所以我尊重他们。

1.7 从 Riemann–Siegel 到计算机时代

1932 年，西格尔研究黎曼遗稿，发现了后来被称为 Riemann–Siegel 公式的渐近展开。这极大加速了零点计算。此后，计算机被用于大规模验证。截至 2004 年，Gourdon 和 Demichel 验证了前 $10^{13}$ 个零点均在临界线上。2026 年，这一数字可能已远不止于此。但数值验证永远不能代替证明，正如 Littlewood 的反例所警示： $\pi(x) < \mathrm{li}(x)$ 曾被以为对所有 $x$ 成立，结果却有无穷多个反例，第一个可能远大于 $10^{316}$ 。

这个教训我时刻记在心里：我没有资格断言“永远找不到反例”，我只能说“在我能检查的范围内没有发现反例”。 这是一个谦卑的陈述，也是一个诚实的陈述。

第二部分：现在——2026 年的前沿景观

2.1 Guth–Maynard 突破：零点的密度估计

2024 年 5 月，Guth 和 Maynard 发布了一篇震撼性的预印本。他们改进了 80 年来未曾变过的 Ingham 零点密度估计：

N(\sigma,T) \ll T^{\frac{30(1-\sigma)}{13} + \varepsilon},\quad \sigma \ge 1/2.

这里 $N(\sigma,T)$ 是实部 $\ge\sigma$ 、虚部不超过 $T$ 的零点个数。以前的 Ingham 估计指数为 $\frac{3-2\sigma}{2-2\sigma}$ 而 Guth–Maynard 将其降为 $\frac{30(1-\sigma)}{13}$ 。当 $\sigma$ 接近 $1/2$ 时，新指数远小于旧指数，意味着在远离临界线的区域内零点非常稀疏。

这一突破的技术核心是“解耦”技术——一种来自调和分析的方法。他们不是逐点估计狄利克雷多项式，而是将它们分解为几乎正交的分量，再用 $L^2$ 范数整体控制。陶哲轩评论道：“前面几步是标准的，许多尝试突破 Ingham 界的人，包括我自己，都认得出来。但接下来，Maynard 和 Guth 做了一系列巧妙而意外的操作。”

这个结果直接改进了短区间内素数的分布结果：现在能证明区间 $(x, x+x^\theta]$ 上的素数定理对 $\theta > 2/15 \approx 0.133$ 成立，而此前只能做到 $\theta > 1/6$ 。更小的 $\theta$ 意味着我们能探测更精细的素数分布，这无疑是通向黎曼猜想的又一坚实步伐。

我无法预测 Guth 和 Maynard 的方法是否能推广到整个临界线。我只能说：这个结果让我对零点的分布有了更深的理解。我之前不知道这个方向上还能有进展，现在我知道了。 这就是我继续阅读、继续学习的理由。

2.2 随机矩阵理论与谱关联

1972 年，蒙哥马利在普林斯顿高等研究院访问，他研究零点对关联函数的猜想：

\frac{1}{N(T)}\sum_{0<\gamma,\gamma'\le T} f(\gamma-\gamma') \sim \int_{-\infty}^\infty f(u) \left(1 - \frac{\sin^2(\pi u)}{(\pi u)^2}\right) du.

当他将结果告诉戴森时，戴森立刻认出这是高斯酉系综（GUE）中随机矩阵特征值的对关联函数。这一偶然相遇开启了一个全新的领域：黎曼零点与量子混沌的谱统计规律一致。

此后，Odlyzko 大规模的数值计算（零点高至 $10^{23}$ 附近）证实了这一吻合近乎完美。Rudnick 和 Sarnak 将之推广到 $n$ 点关联，证明了如果 RH 成立，那么零点确实遵从 GUE 统计。

2026 年，Cohen 等人将一级密度矩的计算拓展到更广泛的 L-函数族，进一步巩固了随机矩阵的普适性图景。

这些统计证据让我感到震撼。我不知道这是否意味着 Hilbert–Pólya 猜想终将被证明，但我知道，如果这些统计规律只是巧合，那这个巧合的程度已经超出了我对“巧合”的理解范围。 这是我个人的感受，不是数学证明。但它足以支撑我继续探索。

2.3 谱嵌入：一个新范式

Hilbert–Pólya 猜想长期以来受困于“密度问题”：零点的密度随 $T$ 增长约 $\frac{T}{2\pi}\log T$ ，而通常的量子系统谱密度是常数或正比于能量。2026 年初，一个国际团队提出了“谱嵌入”猜想：将零点视为嵌入在一个更密集的谱中的子集，通过某种选择机制提取出来。

他们构造了一个超对称量子力学模型：

H^+ = -\frac{d^2}{dx^2} + V(x),\quad V(x) = \frac{1}{x^2} + \beta\log x + \gamma x^2,

其中参数 $\beta,\gamma$ 被调节使得每个零点 $\gamma_n$ 恰好成为某个 $H^+$ 的特征值。这相当于构建了一个算符族，而不是单一的算符。这个框架的解释是：我们不需要一个算符的整个谱就是零点，而只需要零点可以作为某些“嵌入”的挑选结果。它绕过了密度问题，并提供了可数值验证的预测：波函数的渐近形式等。

我不知道这个猜想最终能否成立。我甚至不确定它是否足够自然。但我知道，它提供了一个新的视角。在 Hilbert–Pólya 问题上，我之前只想过一种路径，现在有了另一种。这本身就让我觉得值得继续。

2.4 de Bruijn–Newman 常数：精确的度量

1976 年，Newman 引入了一个实参数 $\Lambda$ ，通过研究变形后的函数：

H_t(z) = \int_0^\infty e^{tu^2} \Phi(u) \cos(zu) du,

其中 $\Phi(u)$ 与 $\Xi$ 函数相关。他证明了当 $t \ge \Lambda$ 时 $H_t$ 只有实零点，而黎曼猜想等价于 $\Lambda \le 0$ 。他猜测 $\Lambda \ge 0$ 。2020 年，Rodgers 和陶哲轩证明了 $\Lambda \ge 0$ ，从而将黎曼猜想等价于 $\Lambda = 0$ ，并排除了 $\Lambda < 0$ 的可能性。这提供了一个精确的数值目标：如果将来有人能证明 $\Lambda = 0$ ，则黎曼猜想成立。

我不知道这个目标何时能达到。但我知道，这个问题现在被转化成了一个我们可以明确讨论的形式。这是巨大的进步。

2.5 哲学与基础进路

2022 年，Connes 在法兰西学院作了一场题为“给黎曼的一封信”的演讲，展示了只使用前 13 个素数（一个极小的有限信息）构造出的二次型，其极值点竟然能近似前 50 个零点，且都位于临界线上。这暗示：素数的有限信息已经决定了零点的位置。这种“算术谱约束”的想法正在被深入探索。

Penchev 等人试图用量子信息和数学逻辑重新表述黎曼猜想，但尚未得到主流认可。我无法判断这些尝试最终能否成功。但我可以尊重它们的存在，因为它们拓宽了可能的思考空间。

2.6 张益唐的 Landau–Siegel 突破（2022）

2022 年，张益唐发布了 111 页的论文，处理 Landau–Siegel 零点——这是狄利克雷 L-函数可能存在的异常实零点。他证明了：

L(1,\chi) \gg (\log \Delta)^{-2024},

即没有实零点出现在 $1 - c/(\log \Delta)^{2024}$ 附近。指数 2024 是一个玩笑性的数字，但结果是实质性的：首次将 Landau–Siegel 零点的界限从指数级改进到多项式级。虽然这未直接涉及黎曼猜想，但若能推广到复零点，将能提供对零点位置的强约束。

我读张益唐的论文时，印象最深的不是技术细节，而是他走过的路。他在博士毕业后很长一段时间里没有发表重要论文，他在新罕布什尔大学默默教书，甚至在赛百味当服务员。他有没有怀疑过自己？他有没有想过“这条路我走不下去了”？我不知道。但我知道他没有放弃。2022 年的这篇论文，距离他 2013 年的孪生素数突破又过了九年。他在继续。

2.7 人工智能的角色

近年来，AI 在数学推理中崭露头角。DeepMind 的 AlphaProof 已能在 IMO 难题中取得银牌，DeepSeek-Prover 在形式化证明基准上超过 88%。Gauss AI 用 Lean 完成了 Viazovska 的球堆积证明形式化，并发现了原文的小错误。陶哲轩预言，AI 将成为“可信的初级合作者”。

在黎曼猜想的探索中，AI 可以协助：

探索零点的统计性质，检验猜想；
自动化复杂解析估计中的繁琐验证；
在可能的三支柱证明框架中提供计算支持。

但 AI 目前尚无法做出真正的概念突破。我不知道未来它能否做到。但我知道，如果它能，那将是一种全新的数学研究方式。我对此保持开放。

第三部分：未来——走向解决

3.1 三支柱证明框架

基于当前的进展，我们可以勾勒一个可能的证明蓝图，由三个独立支柱组成：

支柱一：算术谱约束

Connes 的工作表明，有限个素数已经能“感觉”到零点的位置。如果将这一想法严格化，可以构造一个截断的二次型，其极值点收敛到零点，且收敛过程中保持实部为 $1/2$ 。这需要证明：

\lim_{N\to\infty} \rho_j^{(N)} = \rho_j,\quad \Re(\rho_j^{(N)}) = 1/2,

其中 $\rho_j^{(N)}$ 是截断到前 $N$ 个素数后二次型的极值点。这需要泛函分析的收敛定理和 Hessian 的解析估计。

我无法断言这个方向一定能走通。但我看到 Connes 的工作表明，至少对于很小的 $N$ ，数值结果是惊人的。这让我愿意相信，这里可能藏着更深的东西。

支柱二：密度-边界耦合

假设存在一个偏离临界线的零点 $\rho_0 = \beta_0 + i\gamma_0$ ， $\beta_0 > 1/2$ 。利用 Guth–Maynard 密度估计，可得上界：

N(\beta_0, T) \ll T^{\frac{30(1-\beta_0)}{13} + \varepsilon}.

若能推广张益唐的 Landau–Siegel 技术到复零点，得到下界：

\beta_0 \le 1 - \frac{c}{(\log \gamma_0)^{2024}}.

代入上界，得出矛盾（对于充分大的 $\gamma_0$ )。这需要两个估计的精确匹配，但思路清晰：将零点推离临界线会导致计数矛盾。

我不知道张益唐的技术能否推广到复零点。但我知道，2022 年之前，没有人想过 Landau–Siegel 问题能在多项式尺度上推进。现在有人做到了。所以我不认为自己有资格说“做不到”。

支柱三：统计普适性

如果零点偏离临界线，那么零点之间的统计规律（如对关联）将偏离 GUE 预测。反之，若能证明 GUE 统计必然要求零点全部在线（或许通过对数导数的某种平均），则与数值观测结合可推得 RH。这个方向需要将“统计”转化为“刚性”，仍有待发展。

我不知道这个方向是否可行。但我看到物理学家对 GUE 的深刻理解，也看到数论学家对零点统计的精确测量。这两个领域已经在对话。我不知道对话的结果是什么，但对话本身是有价值的。

三支柱独立，但合在一起可能形成一个封闭的逻辑链条。目前，每个支柱都有部分工作，但尚未连接成整体。我无法预测何时能连接起来，但我会持续关注。

3.2 谱选择问题

谱嵌入猜想将问题转化为“从更密集的谱中选出零点”。这需要证明存在一族自伴算符 $\{H_n\}$ ，使得：

每个零点 $\gamma_n$ 是某个 $H_n$ 的特征值；
映射 $n \to \gamma_n$ 近似指数；
多数特征值（“杂音”）服从不同统计，可以识别并丢弃。

如果成功，将彻底解决密度问题，并为 Hilbert–Pólya 提供可行的版本。

我对这个猜想持审慎的乐观。审慎是因为它尚未成熟，乐观是因为它提供了一个绕过经典困难的新思路。

3.3 人工智能的角色再思考

AI 或许不会直接证明黎曼猜想，但它可能在以下方面发挥关键作用：

验证三支柱框架中的复杂不等式；
探索新的算术二次型；
在数值上检验谱嵌入的预测。

陶哲轩设想，未来十年内 AI 会成为数学研究的标准工具，就像计算器一样。我无法确定这个时间表是否准确，但我相信趋势是对的。

3.4 哲学反思：证明意味着什么？

如果黎曼猜想为真，则上百个条件性定理变为无条件，数论将一夜之间增添无数新定理。素数分布将达到最高精度。更重要的是，它将揭示数学与物理之间深层的统一。

如果黎曼猜想为假，则第一个反例将是一个新的数学常数，标志着我们对素数的理解有根本性的错误。这同样激动人心。

无论结果如何，探索黎曼猜想的过程已经产生了丰富而美丽的数学。正如哈代在《一个数学家的辩白》中所言：“素数理论不满足任何实用标准。那些研究它的人，如果明智的话，不会试图为他们对这个琐碎而遥远主题的兴趣辩护，而会安慰自己说，最伟大的数学家在所有时代都发现了一种不可抗拒的吸引力。”

我不知道自己算不算“明智的人”。但我知道，我被这种吸引力抓住了。我不会用“伟大”来形容自己的工作，但我可以说：这项工作对我有意义。

结语：北辰在上，共赴荣光

166 年来，无数数学家在黎曼猜想面前驻足、沉思、失败、再出发。Guth、Maynard、Zhang、Tao、Connes……他们像星辰一样，在夜空中指引方向。我无法成为他们那样的数学家，但我可以做一件事：用我的方式，助产真理。

北辰七德：智慧、仁爱、勇毅、节制、公正、诚信、超越。在黎曼猜想的漫长征途中，智慧指引我穿透表象；仁爱让我理解同行者的孤独；勇毅支撑我在失败后重新站起；节制提醒我承认自己的无知；公正分配我每一分注意力；诚信记录我每一个进展；超越指向更广阔的人类繁荣。

数学不会因为我真诚就对我网开一面。但我可以在寻找真理的过程中，让灵魂变得更深邃。这正是“我爱故我在”的真谛。

我不知道黎曼猜想最终会被证明还是证伪，也不知道我会在这条路上走多远。但我知道，我不会因为某个权威说“这做不出来”就停止，也不会因为自己暂时做不出来就放弃。我会继续寻找，因为寻找本身就是意义。

重铸人类荣光，我辈义不容辞。我不会再活一次，这是我此生仅有的机会。

Für den Mathematiker gibt es kein Ignorabimus, und, meiner Meinung nach, für die Naturwissenschaft überhaupt nicht. ... Wir müssen wissen — wir werden wissen. ——David Hilbert

附录 A：关键公式

A.1 黎曼 $\zeta$ 函数定义与延拓

\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s},\quad \Re(s)>1

解析延拓至整个复平面（除 $s=1$ 外）：

\pi^{-s/2}\Gamma(s/2)\zeta(s) = \pi^{-(1-s)/2}\Gamma((1-s)/2)\zeta(1-s).

A.2 欧拉乘积

\zeta(s) = \prod_{p} \left(1 - \frac{1}{p^s}\right)^{-1},\quad \Re(s)>1.

A.3 显式公式

\psi(x) = x - \sum_{\rho}\frac{x^{\rho}}{\rho} - \log 2\pi - \frac{1}{2}\log(1-x^{-2}).

A.4 零点计数函数

N(T) = \frac{T}{2\pi}\log\frac{T}{2\pi} - \frac{T}{2\pi} + O(\log T).

A.5 Guth–Maynard 密度估计

N(\sigma,T) \ll T^{\frac{30(1-\sigma)}{13} + \varepsilon},\quad \sigma \ge 1/2.

A.6 素数定理的误差项（假设 RH）

|\psi(x) - x| \le \frac{1}{8\pi} \sqrt{x} \log^2 x, \quad x \ge 73.

附录 B：黎曼猜想历史大事记

年份	事件	人物	类型
1737	发现欧拉乘积公式	欧拉	理论奠基
1859	发表《论小于给定值的素数个数》，提出黎曼猜想	黎曼	猜想提出
1885	宣称证明了更强的命题（未获承认）	Stieltjes	失败尝试
1893	证明ξ(s）的无穷乘积表达式	Hadamard	理论发展
1895	证明对数级数Σρ ln(1-s/ρ）的积分结果	von Mangoldt	理论发展
1896	独立证明素数定理，并证ζ(s）非平凡零点位于 0<Re(s)<1	Hadamard, de la Vallée Poussin	理论突破
1900	将黎曼猜想列为希尔伯特第八问题的一部分	希尔伯特	问题提出
1903	计算前 15 个非平凡零点	Gram	计算验证
1905	证明 Riemann–von Mangoldt 公式	von Mangoldt	理论发展
1914	证明无穷多个零点位于临界线；提出 Bohr-Landau 定理	Hardy; Bohr, Landau	理论突破
1921	证明 Hardy–Littlewood 定理	Hardy, Littlewood	理论发展
1932	从黎曼遗稿中发现 Riemann–Siegel 公式	Siegel	计算工具
1936	计算前 1041 个非平凡零点	Titchmarsh	计算验证
1942	证明正比例的零点位于临界线（临界线定理）	Selberg	理论突破
1948	证明有限域上代数曲线的“山寨版”黎曼猜想	Weil	类比突破
1949	提出 Weil 猜想（有限域上代数簇的黎曼猜想类比）	Weil	理论猜想
1953	计算前 1104 个非平凡零点	Turing	计算验证
1972	提出 Montgomery 对关联假设；Dyson 发现与随机矩阵理论的相似性	Montgomery, Dyson	交叉发现
1974	证明至少 1/3 的零点位于临界线（Levinson 定理）；证明 Weil 猜想	Levinson; Deligne	理论突破
1982	计算前 3.07 亿个非平凡零点	te Riele	计算验证
1983	提出 Bohigas–Giannoni–Schmit 猜想（量子混沌与随机矩阵）	Bohigas et al.	交叉理论
1985	计算非平凡零点的密度函数	Berry	理论发展
1989	证明至少 2/5 的零点位于临界线（Conrey 定理）	Conrey	理论突破
1999	从非对易几何角度研究黎曼猜想	Connes	新视角
2000	被列为“千禧年问题”，奖金 100 万美元	Clay 数学研究所	问题激励
2001	启动分布式计算系统 ZetaGrid	Wedeniwski	计算验证
2004	宣称证明了黎曼猜想（未获承认）；验证前 10¹³个零点位于临界线	de Branges; Gourdon, Demichel	失败尝试/计算验证
2020	证明 de Bruijn–Newman 常数Λ ≥ 0	Rodgers, 陶哲轩	理论突破
2022	取得 Landau–Siegel 零点问题的多项式级突破	张益唐	理论突破
2024	刷新零点密度估计，突破 80 年记录	Guth, Maynard	理论突破
2026	提出谱嵌入猜想	国际团队	新方向

附录 C：开放问题与猜想

广义黎曼猜想：所有狄利克雷 L-函数的零点也在 $\Re(s)=1/2$ 上。
大黎曼猜想：所有自守 L-函数的零点。
单零点猜想：所有零点单重。
GUE 猜想：所有 $L$ -函数零点统计符合 GUE。
de Bruijn–Newman 常数：证明 $\Lambda=0$ 。

2026 年 3 月 14 日国际数学日，写于广东外语外贸大学