RecodeX 重构消息，Anthropic宣布，其尚未公开的Claude研究模型在黎曼猜想上取得重大进展，将满足黎曼猜想的ζ函数零点比例下界从41.6%提高至67.2%。该结果由约60个智能体协作完成，执行2400条Shell命令、编写数百个Python脚本，并进行数千次数值检验。结果经内部数学家Levent Alpöge和Ralph Furman及外部专家Brian Conrey、Dan Goldston审阅，并已生成Lean形式化验证版本。Anthropic表示，该结果并非完整证明，且该方法大概率无法直接通向完整证明。