突发！Claude黎曼猜想最大突破，已被人类数学家验证
新智元 · 人工智能
原创 ASI启示录 2026-09-06 00:03 北京 新智元报道 Claude在黎曼猜想（Riemann Hypothesis）上的相关证明 ，已被人类数学家彻底验证。 这次，数学家 Youness Lamzouri 宣布Claude的证明 结果确凿无误，而且给出了一个更简洁更优雅更强的新证明。 论文： https://arxiv.org/pdf/2609.02882 回到上个月，当时Claude证明： 超过2/3的zeta零点被确认位于临界线上且为单零点！ https://www-cdn.anthropic.com/95c246936988e43127bc6b2ceb7077c1dad2d68e.pdf 这个数字直接打破了黎曼猜想 证明 的记录——此前主流界限停留在41.6%左右，过去37年数学家只提高了0.8%。 而Anthropic的数学家使用内部的Claude直接提高了25.6%！ 虽然没有彻底证明黎曼猜想，但这一成果足以引起数学界地震，Anthropic直接霸占头条。 可AI的证明晦涩难懂，难以领会，「 主要机制并非一目了然」 。 现在，数论学家Youness Lamzouri撰写了证明，非常简短、巧妙、优美，堪称非凡壮举。 而仅仅几个小时，AxiomProver就完成了这项工作的形式化。 这个时代真是激动人心！ 这不仅是一场 AI的暴力美学 ，更是一次 人类智慧的绝地反击 ，最后由 另一个AI（AxiomProver）一锤定音 的「跨物种」协作神话。 Lean证书： https://github.com/AxiomMath/ZetaZeros 数学史的底层逻辑，在这一天，被彻底改写了。 AI的「暴力美学」，撞开黎曼猜想的大门 黎曼猜想被尊为「数学界的圣杯」，为何？因为它以最纯粹的抽象，暗合了最深刻的宇宙现实。 首先，它是驯服「素数」的终极图纸。 素数在数轴上看似毫无规律、如幽灵般随机分布，却被黎曼天才般地与Zeta函数的零点相连。 若猜想成立，便证明了这混沌的表象之下，实则隐藏着极其完美的和谐交响。 其次，它是现代数学的「承重墙」。 如今有上千条高阶定理以「黎曼猜想成立」为前提，它若被证伪，半个解析数论大厦将瞬间化为废纸。 从数论、代数、几何到泛函分析，黎曼猜想真正具有里程碑意义的等价形式大约有 30到50种 ，甚至寻找这种等价形式本身就是现代数学研究的一大热点。 牛津大学出版社已出版了3卷《黎曼猜想的等价形式》 出乎意料的是，它跨越了学科的边界。 物理学家惊骇地发现，这些纯数学零点的间距分布，竟与量子力学中重原子核的能级分布奇迹般一致！证明它，不仅是数学的胜利，更是人类触碰宇宙底层代码的终极一跃。 众所周知，黎曼猜想的核心，是探讨黎曼zeta函数的非平凡零点究竟在哪里。 在1859年，黎曼大胆猜测： 所有的非平凡零点，全都整整齐齐地排在一条实部为1/2的「临界线」上。 证明100%在临界线上，就是破解了黎曼猜想。人类此前艰难地证明了有超过五分之二的零点在上面，然后，似乎就卡壳了。 直到AI下场。 最新研究中，Claude向这个世纪难题发起了冲锋。 AI不懂什么叫「灵光一闪」，它信奉的是「大力出奇迹」。 Claude生生用一堆随着N(T)增长的巨大矩阵，硬算出矩阵的迹和Hilbert–Schmidt范数，最后靠着一套复杂的秩-迹不等式，卡住了零点的下界，硬是将边界推高到了67.25%！ 该结果也得到了数学家Alpöge和Furman的初步验证。 结果一出，天下哗然。人类距离彻底击败黎曼猜想，只剩下最后的32.75%！ 但当人类数学家拿到AI的证明过程时，全都沉默了。 这份证明太丑了。或者说， 太「非人」了。 通过穷举、拼接，Claude把两个在人类直觉里「八竿子打不着」的数学工具，强行拼在了一起。 里面充斥着海量的复杂工具、晦涩的矩阵变换。它就像一台横冲直撞的推土机，在没有路的热带雨林里，生生碾压出了一条血路。 这条路能走通吗？能。这条路好走吗？连顶级数学家看了都头疼。 正如菲尔兹奖得主、被誉为「当今最聪明大脑」的 陶哲轩曾经精准吐槽过的那样： 这类AI的证明，极其晦涩难懂，人类需要花大量的时间去「消化」它。 AI给了人类答案，却没给人类「理解」。 难道未来的数学，就是一台无情的计算机器输出一堆人类看不懂的真理吗？ 人类数学家，绝不认输。 人类的反击，「品味」与「优雅」的降维打击 就在Claude的暴力证明让学界痛苦「消化」之时，数学家 Youness Lamzouri 站了出来。 直觉告诉他： 这不对，真理不该是这副臃肿的模样。既然AI证明了这个方向是对的，那就一定存在一条更美的捷径！ 接下来，Youness展现了什么叫做真正的「人类智慧」。 他挥起奥卡姆剃刀，大刀阔斧地砍掉了Claude证明中那些冗余、繁