已收录文章摘要，完整内容可前往原文阅读。
Anthropic 刚刚公布了一项由尚未发布的 Claude 研究版完成的数学成果：它把黎曼猜想相关的关键下界从 41.6% 推到了 67.2%，主论文、简版证明和 Lean 形式化仓库也一起放了出来