Claude在黎曼猜想（Riemann Hypothesis）上的相关证明，已被人类数学家彻底验证。

这次，数学家Youness Lamzouri宣布Claude的证明结果确凿无误，而且给出了一个更简洁更优雅更强的新证明。

论文：网页链接

回到上个月，当时Claude证明：超过2/3的zeta零点被确认位于临界线上且为单零点！

这个数字直接打破了黎曼猜想证明的记录——此前主流界限停留在41.6%左右，过去37年数学家只提高了0.8%。

而Anthropic的数学家使用内部的Claude直接提高了25.6%！

虽然没有彻底证明黎曼猜想，但这一成果足以引起数学界地震，Anthropic直接霸占头条。

可AI的证明晦涩难懂，难以领会，「主要机制并非一目了然」。

现在，数论学家Youness Lamzouri撰写了证明，非常简短、巧妙、优美，堪称非凡壮举。

而仅仅几个小时，AxiomProver就完成了这项工作的形式化。

这个时代真是激动人心！

这不仅是一场AI的暴力美学，更是一次人类智慧的绝地反击，最后由另一个AI（AxiomProver）一锤定音的「跨物种」协作神话。

Lean证书：网页链接

数学史的底层逻辑，在这一天，被彻底改写了。