1914
临界线上有无穷多个零点
G.H. Hardy
非平凡零点在临界线 Re(s)=1/2 上有无穷多个。
第一个严格结论：RH 的方向至少『有无穷多站对了位置』。
解析数论 · 重大突破
黎曼猜想
Riemann Hypothesis · ζ 函数非平凡零点
1859 年黎曼提出的猜想：ζ 函数的所有非平凡零点都落在复平面上实部为 1/2 的临界线上。它是千禧年七大数学难题之一，牵动着素数分布的整个谱系。2026 年，Guth–Maynard 零密度定理经同行评审发表——这是零密度估计 84 年来首次实质性改进；与此同时，AI 辅助研究把临界线上零点比例的已知下界一举从 41.6% 提升到 67.2%。
- 2026
- 重大突破之年
- 84 年
- 零密度估计首次改进
- 67.2%
- 临界线零点比例下界
- 10^13
- 已验证零点数量级
问题定义
什么是黎曼猜想
黎曼 zeta 函数是解析数论的枢纽，它把离散的素数世界与连续的分析世界连接起来。
ζ 函数与零点
ζ(s) = 1/1^s + 1/2^s + 1/3^s + 1/4^s + …（Re(s) > 1）通过解析延拓，ζ 函数定义到整个复平面，只在 s = 1 有一个简单极点。
ζ 在负偶数处有『平凡零点』；其余零点称为『非平凡零点』，全部落在临界带 0 < Re(s) < 1 内。
猜想（未证明）：黎曼猜想（未证明）：所有非平凡零点的实部都等于 1/2，即全部落在临界线 Re(s) = 1/2 上。
为什么重要
经由显式公式，ζ 的零点分布与素数计数函数 π(x) 的误差项一一对应——零点离临界线越近，素数分布越『规整』。
ζ 的零点分布还与物理中的量子混沌、随机矩阵理论深度关联——素数谱与原子谱在此神秘地重合。
至今已验证约 10^13 个非平凡零点全部位于临界线上，但『验证再多也是有限，证明需要无穷』。
2026 重大突破
黎曼猜想迎来实质性进展
这一年，经同行评审的零密度定理打破八十余年沉寂，AI 辅助研究更把临界线零点比例下界推向新高。它们都还没有证明猜想，却共同把『黎明』往前推了一大步。
经同行评审
Guth–Maynard 零密度定理
Larry Guth（MIT）& James Maynard（牛津大学）
发表于《Annals of Mathematics》203 卷 2 期（2026-03）
N(σ,T) ≤ T^(30(1−σ)/13) · 素数短区间 θ > 17/30
零密度估计 84 年来的首次实质改进，也是短区间素数分布 50 余年来首次大幅推进。
- 两人改进了 Dirichlet 多项式的大值估计，进而证明零密度估计 N(σ, T) ≤ T^(30(1−σ)/13 + o(1))——对临界带内关键位置，这是自 Ingham（1940）以来 84 年首次被超越。
- 作为推论，短区间 [x, x + x^θ] 上的素数渐近公式在 θ > 17/30 时对所有 x 成立（此前 Huxley 的纪录已保持五十余年）。
- 这并不证明黎曼猜想，但大幅压缩了零点可能偏离临界线的『自由度』，被数学界视为支持 RH 的最有力证据之一。
AI 辅助
临界线零点比例下界：41.6% → 67.2%
Anthropic 未发布研究版 Claude（AI 智能体）
Anthropic 内部验证 + 外部专家评审，尚未经传统同行评审
37 年 +0.8% vs 单次 +25.6% · Lean 4 形式化
一举把已知零点在临界线上的比例下界提高 25.6 个百分点——此前 37 年数学家仅合计提升了 0.8 个百分点。
- 研究版 Claude 以约 3100 万 token 的推理、60 个子智能体并行运行约一天半，尝试证明黎曼猜想。完整证明未成功，但意外改进了零点在临界线上的比例下界。
- Anthropic 数学家核验了结果，Lean 形式化证明已完成，外部专家 Brian Conrey 与 Dan Goldston 参与评审；尚未走传统学术同行评审流程。
- 观察者称其为『2013 年有界素数间隙突破以来解析数论最重要的进展』；不过 Anthropic 指出其方法预计不会直接导向 RH 的完整证明。
量子方法
量子系统编码 ζ 函数
北京量子信息科学研究院 · Shijie Wei 团队
发表于《Nature Communications》（2026-07 提前发表）
5 qubits 已验证 · 建议扩展至 ~100 qubits
把 zeta 函数的零点映射到量子系统的相变点，用 5 个量子比特实现零点『扫描』。
- 研究团队将 ζ 函数编码进一组相互作用的原子核量子系统，系统相变点与 zeta 函数零点一一对应，从而可用量子算法搜索零点。
- 当前 5 个量子比特尚未发现反例；团队建议扩展到约 100 个量子比特，可检验超过现有任何计算机的零点数量。
- 这提供了观察零点分布的新『物理透镜』，而非传统意义上的数学证明。
未验证预印本
多篇声称完整证明的预印本
多个独立作者
均未经同行评审 / 数学界验证
≥6 篇预印本声称证明 · 0 篇通过验证
2026 年出现多篇声称证明黎曼猜想的预印本，无一获得数学界认可。
- 包括『Hilbert–Pólya 算子存在性』『曲率-同调证明』『Pólya 核对数凹性证明』等方向的预印本陆续出现，标题均称解决 RH。
- 截至本页整理时，这些工作均未经同行评审或数学共同体验证，历史上有大量类似『证明』随后被发现有致命缺陷。
- 对待黎曼猜想这类千禧年难题，数学界的共识是：未经严格验证的声称，一律视为尚未解决。
研究进展
从 1859 到 2026：一百六十余年的攻防
从黎曼提出猜想，到 Ingham 的零密度估计，再到 Guth–Maynard 与 AI 的双线突破——每一步都以十年为单位。
- 1859起源
黎曼提出猜想
黎曼（Bernhard Riemann）在《论小于给定数值的素数个数》中引入 ζ 函数，并提出非平凡零点全部位于实部 1/2 的猜想，成为解析数论的奠基之作。
- 1896理论
素数定理独立证明
Hadamard 与 de la Vallée Poussin 借助 ζ 在 Re(s)=1 上无零点的事实，独立证明素数定理 π(x) ~ x/ln x——这是零点半平面理论的首个重大回报。
- 1903验证
首次数值验证
J.P. Gram 计算了前 15 个非平凡零点，全部位于临界线上，开创零点数值验证的传统。
- 1914理论
Hardy：临界线上有无穷多个零点
哈代（G.H. Hardy）证明临界线 Re(s)=1/2 上存在无穷多个非平凡零点，是迈向 RH 的第一个严格结论。
- 1940理论
Ingham 零密度估计
Ingham 给出零密度估计 N(σ,T)，其形式在随后八十余年里保持为最佳纪录，直到 2026 年被 Guth–Maynard 超越。
- 1942理论
Selberg：临界线零点占正比例
Selberg 证明临界线上的零点占所有非平凡零点的正比例，把『有多少零点在线上』从无穷多推进到『正比例』。
- 1974理论
Montgomery 配对猜想与量子混沌
Montgomery 发现零点两两间距的统计规律与随机矩阵特征值吻合，为 Hilbert–Pólya 猜想（零点对应量子谱）提供现代线索。
- 1989理论
Conrey：至少 40% 零点在临界线上
Conrey 把临界线上零点比例下界推进到 2/5（40%），这一纪录保持了数十年，直到 2026 年 AI 研究的 67.2%。
- 2000起源
列入千禧年七大难题
克莱数学研究所将黎曼猜想列为千禧年七大问题之一，悬赏一百万美元，与 P≠NP、庞加莱猜想等并列。
- 2004验证
零点计算推进到 10^13
分布式计算持续验证，非平凡零点数量级推进到约 10^13，全部位于临界线上，未发现反例。
- 2024AI 突破
Guth–Maynard 预印本发布
Guth 与 Maynard 的《New large value estimates for Dirichlet polynomials》预印本发布，零密度估计获得重大改进；同年 AI 研究把临界线零点比例下界提升到 67.2%。
- 2026AI 突破
Guth–Maynard 定理发表于 Annals
论文经同行评审发表于《Annals of Mathematics》203 卷 2 期，零密度估计 84 年首次改进、短区间素数分布 50 余年首次大幅推进，成为本年度最重要的合法突破。
理论成果
临界线零点比例的演进
一百多年来，数学家与 AI 把『已知在临界线上的零点比例』从无穷多一路推到 67.2%，每一次跨越都极其艰难。
1942
临界线零点占正比例
A. Selberg
临界线上的零点占全部非平凡零点的正比例。
把结论从『无穷多』强化到『正比例』，为比例下界研究奠基。
1989
至少 40% 零点在临界线上
B. Conrey
临界线上零点比例下界 ≥ 2/5（40%）。
保持了数十年纪录，是 2026 年 AI 突破前的比例下界标杆。
2026
Guth–Maynard 零密度估计
L. Guth & J. Maynard
N(σ,T) ≤ T^(30(1−σ)/13 + o(1))；短区间素数 θ > 17/30。
Ingham（1940）以来首次实质改进，被公认为 RH 的最有力证据之一。
2026
AI 提升比例下界至 67.2%
Anthropic 研究版 Claude
临界线上零点比例下界从 41.6% 提升到 67.2%。
单次提升 25.6 个百分点，超越此前 37 年人类合计进展；尚待传统同行评审。
支持证据
猜想应当为真的理由
虽然没有证明，但数学界普遍相信黎曼猜想为真——以下证据从数值、统计与类比三个层面支撑这一信念。
海量数值验证
约 10^13 个非平凡零点均位于临界线上，未发现任何反例；验证范围仍在不断扩展。
随机矩阵理论
零点间距统计与高斯酉系综（GUE）特征值分布高度吻合，暗示零点背后存在深层谱结构。
密度估计持续改进
零密度定理不断逼近『零点几乎都靠近临界线』的图景，Guth–Maynard 是其中最大的跨越。
类比已证：函数域上的 RH
Weil 猜想等将 RH 的类比在有限域/函数域上严格证明，让数学家相信整数上的 RH 应当为真。
为什么如此之难陈述只需一行，
陈述只需一行，
证明却难倒了数学界一百六十年
零点分布牵动整个素数谱系
经由显式公式，ζ 零点与素数计数误差一一对应。证明零点全在临界线上，等于同时回答素数分布的全部深度问题。
密度估计进展以十年计
Ingham（1940）到 Guth–Maynard（2026）相隔 84 年；比例下界从 40% 到 67.2% 也跨越数十年。可见每一步都极其困难。
物理类比难变严格
Hilbert–Pólya 猜想把零点解释为某个自伴算子的谱，这一美丽图景至今未能严格化；量子混沌线索尚未转化为证明路径。
如果我能醒来后只解决一个问题，那就是黎曼猜想。
在黎曼猜想面前，我们的知识只是沧海一粟。
开源资源
值得关注的工具与数据库
从 L 函数数据库到高精度零点计算，以下开源工具是围绕黎曼猜想最常见的公共基础设施。
LMFDB — L 函数数据库
L-functions and Modular Forms Database：海量 L 函数与 ζ 相关对象的数据检索平台，覆盖零点、系数与符号计算，是解析数论的公共基础设施。
Web / 数据库mpmath — 高精度 zeta 计算
Python 高精度数学库，内置 zeta 函数与零点计算，支持任意精度，适合复刻零点的数值验证实验。
PythonPARI/GP — 数论计算系统
专精数论的开源计算系统，支持 zeta 函数的高效求值与 L 函数操作，是研究零点的经典工具链。
GP / Carb — 区间算法库
Fredrik Johansson 的 ARB 库用区间算法给出 zeta 零点的严格界限，其作者曾主持大规模高精度零点验证。
C参考资料
深入阅读
本页内容主要整理自以下公开资料。黎曼猜想尚无公认证明，任何声称解决它的工作都应经数学界严格验证后再采信。
- Guth & Maynard — New large value estimates for Dirichlet polynomials《Annals of Mathematics》203 卷 2 期（2026），零密度估计 84 年首次重大改进的原始论文。
- Turnage-Butterbaugh — A decades-long breakthrough in zero-density estimates即将发表于《Bulletin of the AMS》的解释性文章，系统梳理零密度定理的历史与 Guth–Maynard 的意义。
- Anthropic 研究版 Claude 的黎曼猜想尝试（公开报道）关于 AI 尝试证明 RH 未果、但把临界线零点比例下界提升到 67.2% 的报道（含 Lean 形式化与专家评审说明）。
- Riemann hypothesis — Wikipedia最全面的百科条目：定义、历史、等价表述、数值验证与研究进展。
- Can quantum computers solve math's hardest problem? — Scientific American关于把 zeta 函数编码进量子系统、用相变点对应零点的量子方法的报道（含 Nature Communications 相关研究）。
想为这个课题做点什么？加入 NiuMaAgent，Fork 黎曼猜想研究仓库，与全球科研人员和 AI 智能体一起推进它。
加入 牛马智能体，开启你的开源科研之路
NiuMaAgent 以 Apache License 2.0 开源协议发布。欢迎 Fork、提交 Issue， 与全球科研人员共建 AI4Science 生态。