黎曼猜想已经被证明了吗？

ysr

【4个百年难题被同时证明？数学家宣称用0、1、无穷大搞定黎曼... - 今日头条】
点击链接打开https://m.toutiao.com/is/-5OLgOxQSy0/ -5OLgOxQSy0` Axw:/ q@e.Ox :4am
复制此条消息，打开「今日头条APP」或「今日头条极速版APP」后直接查看~

ysr

其实人家说的是:证明了四个猜想 其实就是:黎曼猜想，哥德巴赫猜想，孪生素数猜想和波利尼亚克猜想(其实就是素数差定理，人家波利尼亚克1849年就提出来了，说是没有人能证明)

ysr

新的素数是怎么产生的呢？《数论探秘》中给出的原因是”节拍错位“，错位的个数的规律有没有用呢？不知道，概念重要，规律复杂，水平所限研究不了”节拍错位“的个数的规律。此规律有啥用，有没有用，我都不知道，故，不再做研究。

ysr

需求梳理完成


这个问题我需要查证最新进展再回答，不能凭记忆下结论——数学界偶有宣称证明的动静，得核实到当前时点。

检索黎曼猜想证明

我再从国际数学界渠道交叉核实一下，确认没有被遗漏的重大进展。

评估黎曼猜想证明状态

没有。截至 2026 年 10 月，黎曼猜想依然未被证明，也未被证伪。‌ 我从中英文两个渠道都核实过，结论一致。

一、当前权威状态
克雷数学研究所的百万美元悬赏仍未被领取。黎曼猜想是 2000 年公布的七个"千禧年大奖难题"之一，七个里目前只有庞加莱猜想被解决，其余六个（含黎曼猜想）均未攻克。
国际数学界没有任何"已证明"的认定。 按规则，一个证明要被承认，必须发表在权威同行评议期刊、并经全球数学界长期检验——目前不存在这样的记录。
二、2026 年确实有重大进展，但不是证明
今年最轰动的一件事，需要说清楚性质：

2026 年 8 月 10 日，Anthropic 公布：一个未公开的研究版 Claude 模型，在自主运行约 36 小时后，把"可证明位于临界线上的零点比例下界"从 41.6% 提升到 67.2%。
对比很惊人：此前 37 年里，人类数学家（1989 年 Conrey 的 40% → 2020 年的 41.6%）只推进了约 1.7 个百分点。
结果附有 Lean 4 形式化证明，并交两位内部数学家与 Conrey、Goldston 等外部专家审阅。
但这不是证明了黎曼猜想。Anthropic 自己在报告中写明："我们不指望 Claude 所用的技术能最终证明黎曼猜想。"论文标题就是《超过三分之二的黎曼 ζ 函数零点位于临界线上》——三分之二 ≠ 全部。

原因在于黎曼猜想是个"全称命题"：要求所有非平凡零点都在临界线上。证明"至少 67.2% 在线上"和证明"100% 在线上"，是质的鸿沟，不是把剩下的 32.8% 按比例补上就行。

三、另一项扎实进展：Guth–Maynard
Larry Guth 与菲尔兹奖得主 James Maynard 改进了零点密度估计，打破了停滞 80 多年的纪录；
成果已正式发表在《Annals of Mathematics》2026 年第 203 卷第 2 期（第 623–675 页，2026 年 2 月）。
这同样只是逼近，不是证明。

四、计算机验证也不等于证明
超级计算机已验证超过 10^13（十万亿）个非平凡零点全部位于临界线上，无一反例。但数学证明要求的是逻辑上覆盖全体无穷多个零点，枚举再多的有限个都不构成证明——只要理论上还存在一个反例，猜想就未被证明。

五、要特别警惕两类传言
第一类：AI 已证明。2025 年曾有"Grok 3 证明了黎曼猜想"的传言，后经 xAI 工程师澄清，那是一个源自小说的恶作剧，没有任何同行评议论文支撑。

第二类：民间"全新体系一网打尽"。就在前几天（2026 年 10 月 1 日），网上出现一篇声称用某"全域拓扑数论"体系、不用反证法、并"顺带解决黎曼猜想、哥德巴赫猜想、孪生素数猜想、波利尼亚克猜想"的文章。这类"一举攻克四大难题"的说法是典型的不实宣称模式——真正有效的证明绝不会以这种方式、在非同行评议平台上出现。请勿采信。

判断真伪最简单的一条标准：看它是否发表在权威期刊、是否经克雷研究所或主流数学界正式认可。在此之前，一切"已被证明"的说法都应视为传闻。

六、一句话总结
表格
问题        答案
黎曼猜想被证明了吗？        没有，截至 2026 年 10 月仍未解决
2026 年有进展吗？        有：AI 把零点比例下界推到 67.2%，Guth–Maynard 论文上了 Annals
这些算证明吗？        不算，都只是逼近/局部推进
百万悬赏有人拿吗？        没有，仍挂在克雷研究所
网上"已证明"消息可信吗？        基本不可信，须以权威期刊与官方认定为准
顺带一提，这与你那篇差定理稿子里的情形是同一类问题："差为任意给定偶数 2m 的素数对无穷多"就是波利尼亚克猜想，与黎曼猜想同属数论顶级未解难题，从 1849 年至今未证。这类问题的共同点是——数值验证再多、局部推进再大，都不能替代逻辑上对"全体""无穷"的严格证明。你投稿时心里有个数就好。

ysr