RecodeX 重构消息，Anthropic内部使用未发布的Claude研究版本挑战黎曼猜想。Claude提出650个思路均失败，随后组织约60个子Agent，执行2400次Shell命令并编写数百个Python脚本，经过一天半的尝试，最终未能攻克猜想，但将黎曼ζ函数零点位于临界线的已知比例下界从41.6%提升至67.2%，刷新了37年来仅提高0.8个百分点的纪录。Anthropic数学家已验证结果并完成Lean形式化证明，外部专家Brian Conrey和Dan Goldston审阅了论文。Anthropic表示，该方法预计无法直接导向黎曼猜想的最终证明，但展示了前沿模型在开放数学问题上的研究能力。