8月10日,Anthropic未发布研究版Claude被要求“认真尝试黎曼猜想”,结果没证明它,却意外刷新纪录!
它把黎曼ζ函数非平凡零点位于临界线上的已知下界,从人类几十年努力的41.6%一口气拉到67.2%(精确约0.6725),并证明至少三分之二是简单零点。这是解析数论领域近年最大的定量跳跃之一。
过程:先试650个失败思路,再调动约60个子代理协作一天半,耗3100万token,跑2400条命令,最终结合现有技术得出新结果。已由内部数学家+Conrey、Goldston验证,还有Lean形式化证明。
注意:这不是解决黎曼猜想,方法也推不到100%。但AI在真正数学前沿的能力,又一次让人眼前一亮。
#
黎曼猜想# #
Claude# #
Anthropic# #
AI数学#