Anthropic Claude 推进黎曼假设：zeta 界下界从 41.6% 提升到 67.2%
（2026-10-05 发表于 Anthropic 研究站，经 Ground News 聚合报道 10-07）
要点
- 做了什么：Anthropic 一个未发布的研究版 Claude 模型，把与黎曼假设相关的 zeta 界下界从 41.6% 提升到了 67.2%——这个界数学家们几十年来一点点啃出来，被 AI 一次拔高了一大截。
- 可信度：Anthropic 没有声称解决了黎曼假设，明确限定为数值界的改进；结果用 Lean 形式化证明语言做了机械核验，并经内部数学家评审后才发表。
- 背景：不到两周前，Anthropic 刚完成费马大定理的第一个完整计算机形式化；几天前，OpenAI 一次性发布 722 篇论文、覆盖 377 个开放数学问题。
- 为什么重要：数学正在成为前沿 AI 实验室的新竞技场，取代代码榜单——比拼的是谁的模型能做出人类数学家认可的真工作。
原文链接：点击查看原文，正文为摘要整理，仅供参考。
