黎曼ζ函数的单零点与临界零点
内容提要
本文研究黎曼ζ函数非平凡零点中位于临界线上的单零点比例。Selberg、Levinson、Conrey等逐步提高该比例下界，2020年Pratt等达到约41.7%。Montgomery在黎曼假设下利用零点对关联证明至少2/3的零点为单零点；BGST-B在弱于黎曼假设的条件下得到67.25%。2026年，Anthropic的Claude结合Bombieri的论文给出无条件证明，Lamzouri随后给出更简明的证明。作者强调，即使该比例达到100%，也不能解决黎曼假设。
延伸解读
比例下界不等于黎曼假设
文章反复强调，即使单零点与临界零点的比例达到100%，也不意味着黎曼假设成立。因为该比例只统计临界线上的单零点，而黎曼假设要求所有非平凡零点都在临界线上。因此，这一系列突破提供的是支持性证据，而非证明。读者需区分“比例下界”与“全部零点位置”这两个不同命题。
AI辅助证明的定位与验证
2026年Anthropic的Claude将BGST-B方法与Bombieri的论文连接，给出无条件证明，随后由Alpöge和Furman验证，Lamzouri又给出更简明的证明。文章将AI视为发现证明路径的工具，但结果仍需数学家验证和简化。这提示读者关注AI在数学发现中的角色：它可能加速连接不同思想，但最终可靠性依赖同行检验。
方法演进：从Levinson到配对相关
文章梳理了Selberg、Levinson、Conrey到Pratt等人的逐步改进，以及Montgomery在黎曼假设下用零点配对相关得到至少2/3单零点，BGST-B在弱假设下得到67.25%。Lamzouri的关键是绕过BGST-B中难以无条件化的不等式，直接对一类核函数证明单实元素计数。这展示了不同技术路线如何相互启发并最终实现无条件化。
Q&A
黎曼ζ函数的临界零点是什么？
临界零点是指位于临界线（实部为1/2的直线）上的非平凡零点。黎曼假设断言所有非平凡零点都在临界线上，但尚未被证明。
目前关于临界线上单零点比例有哪些重要结果？
Selberg在1942年证明正比例零点在临界线上；Levinson在1974年将比例提高到至少1/3；Conrey在1989年证明至少2/5的零点既是单零点又是临界零点；2020年Pratt等人将临界零点比例提高到至少5/12（约41.7%）。在黎曼假设下，Montgomery证明至少2/3的零点是单零点；BGST-B在弱于黎曼假设的条件下得到至少67.25%的零点既是单零点又是临界零点。2026年，Anthropic的Claude结合Bombieri的论文给出无条件证明，Lamzouri随后给出更简明的证明。
Montgomery是如何在黎曼假设下证明至少2/3的零点是单零点的？
Montgomery利用零点对关联函数。他构造了一个非负实偶函数，并利用其傅里叶变换的性质，结合对关联定理，推导出单零点比例的下界。具体来说，他通过考虑零点差的分布，并应用Fejér核等技巧，证明了在黎曼假设下至少2/3的非平凡零点是单零点。
BGST-B在弱于黎曼假设的条件下得到了什么结果？
BGST-B（Baluyot, Goldston, Suriajaya, Turnage-Butterbaugh）在假设非平凡零点位于临界线附近的窄垂直带内的条件下，利用对关联方法证明了至少67.25%的非平凡零点既是单零点又是临界零点。
2026年关于单零点比例的无条件证明是如何取得的？
2026年8月10日，Anthropic宣布其未发布的研究模型Claude将BGST-B的方法与Bombieri在2000年的一篇论文相结合，无条件证明了至少67.25%的非平凡零点既是单零点又是临界零点。随后，Lamzouri在9月2日给出了一个概念上更简单的证明，避免了BGST-B方法中的关键不等式，直接证明了一大类核函数下简单实元素的数量下界。
即使单零点比例达到100%，能否解决黎曼假设？
不能。文章明确指出，即使将67.25%提高到100%，黎曼假设仍不会被解决。因为该比例只涉及零点中单零点且位于临界线上的比例，并不排除存在不在临界线上的零点或多重零点，所以黎曼假设仍然悬而未决。
