# Claude 的一个未公开研究版本把黎曼 zeta 函数在临界线上的零点比例下界从 41.6% 推到了 67.2%

> 原标题：Learning more about Claude's mathematical capabilities

- 来源：Hacker News 首页
- 发布时间：2026-08-10T17:41:13.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/49882
- 原文：https://www.anthropic.com/research/riemann-zeta

## 摘要

Anthropic 的一名员工让 Claude“认真试一下黎曼猜想”。Claude 没证出来，但在过程中意外推进了一个相关结果：把黎曼 zeta 函数落在临界线上的零点比例下界从 41.6% 提高到了 67.2%。这个结果靠的是把 Baluyot、Goldston 等人最近去掉黎曼猜想假设的 Montgomery 方法，和 Bombieri 2000 ...

## 推荐理由

Anthropic 官方博客说，一个还没发布的 Claude 版本在黎曼猜想相关问题上做出了可验证的数学推进，把临界线上零点比例的下界从 41.6% 拉到了 67.2%，附了论文还有内部数学家验证。这事在硬核、知识和传播三个维度上都踩中了，而且信息密度够，不是那种“模型又变强了”的空话。

## 锐评

这条新闻最值得看的是“意外产出”：让 Claude 去硬啃黎曼猜想，它没啃动，却在过程中把一个相关问题的已知下限从 41.6% 拉到了 67.2%。这个提升不是凭空来的，它主要靠两拨人的现成工作——Baluyot 等人最近把 Montgomery 的方法从“假设黎曼猜想成立”里解放了出来，再叠加上 Bombieri 2000 年的论文。Claude 相当于在 Claude Code 里跑了两次会话，吐了 3100 万 token，调了约 60 个子代理、跑了 2400 条 shell 命令，用几百个 Python 脚本做数值验证和子代理互审，最后拼出了这个结果。Anthropic 自己的数学家验过了，外部专家 Brian Conrey 和 Dan Goldston 也临时看了论文，还给了个 Lean 形式化证明。

但正文没披露具体模型版本、参数量和会不会放出来，所以这更像一次内部能力探路，不是产品更新。对从业者来说，看点在于：一个非数学专业的员工只给了模糊目标，模型自己拆任务、写代码、做验证，最后产出了经得起同行审视的数学论文。这比单纯刷榜更能说明 agent 工作流的潜力。不过也别太激动，67.2% 离证明黎曼猜想还远得很，Anthropic 自己也说这套方法不太可能通向最终证明。