Claude 的 67.2%：数学新结果，不是黎曼猜想证明

Anthropic 在 8 月 10 日的研究文章里披露：一个未公开的研究版 Claude 在尝试黎曼猜想（Riemann hypothesis，RH）时，把「黎曼 ζ 函数零点位于临界线的比例」已知下界从 41.6% 提到 67.2%。1

这不是 RH 的证明。Anthropic 明确写道，这套方法预计不能推出黎曼猜想；配套论文给出的是一个相关比例的下界结果，而不是对原猜想的完整解答。2

这次结果的研究链也很重：两次会话合计 3100 万输出 tokens，先试了 650 个想法，再协调约 60 个子代理；过程中运行 2400 条 shell 命令、写了数百个 Python 脚本，并下载 54 篇论文检查是否已有相同发现。两位 Anthropic 数学家随后研究并验证了论文。1

对研究者和创作者，短期更适合测试的不是「让模型直接给定理」，而是一条可回查的链：文献定位 → 候选命题 → 反例检查 → 形式化草稿。Anthropic 公开的 Lean 仓库可以作为这次结果的配套核验材料，但未公开研究版的过程，不等于面向所有用户开放的产品能力。3

小测：拿一个有公开资料的开放问题，要求模型列出原论文、反例检查和可形式化的中间命题，再逐条回到原文与形式化工具核对。