学术研究全球
Claude 推进黎曼 ζ 函数零点下界，并公开 Lean 形式化证明
Advancing the lower bound for zeros of the Riemann zeta function
Anthropic 报告其研究型 Claude 系统把已知可证明位于临界线上的黎曼 ζ 函数零点比例下界从 41.6% 提高到 67.2%，并公开 Lean 形式化证明仓库。
约 3 分钟 2 个来源记录 完整事件解读
01
一分钟读懂
01
Anthropic 报告其研究型 Claude 系统把已知可证明位于临界线上的黎曼 ζ 函数零点比例下界从 41.6% 提高到 67.2%，并公开 Lean 形式化证明仓库。
02
系统以约 60 个子智能体并行探索证明路线，Anthropic 报告使用约 3100 万输出 token 和 2400 次 shell 命令。
03
结果没有证明黎曼猜想，但展示了模型在长程数学研究、并行搜索和形式化验证之间形成闭环的潜力。
02
这件事情本身是什么
系统以约 60 个子智能体并行探索证明路线，Anthropic 报告使用约 3100 万输出 token 和 2400 次 shell 命令。
研究把可证明的下界推进到 67.2%，而不是证明全部零点都在临界线上。
Anthropic 数学家和外部专家参与审阅，Lean 仓库提供可机器检查的证明产物；更广泛的数学界复核仍在继续。
03