如何评价 Anthropic 宣布将黎曼猜想的已知下界从 41.6% 提高到了 67.2%？

Anthropic 于 2026 年 8 月 10 日公布了一项关于 Claude 数学能力的新结果。 他们最初给一个尚未发布的 Claude 研究模型布置的任务是：尝试解决黎曼猜想（Riemann Hypothesis）。 Claude 最终并没有证明黎曼猜想，但在探索过程中意外得到了一项新的数学结果：对于黎曼 ζ 函数的非平凡零点，数学界此前能够证明至少约41.6%位于黎曼猜想所预测的临界线上，而 Claude 给出了一种新的论证，将这个下界提高到了67.2%。 据 Anthropic 介绍，这一结果建立在 Bombieri 以及 Baluyot、Goldston、Suriajaya、Turnage-Butterbaugh 等数学家已有工作的基础上，并由 Anthropic 的数学家进行了检查。此外，他们还将核心结果做成了Lean 形式化证明。 https://www.anthropic.com/research/riemann-zeta

前往原平台核验详情 ↗