Claude 把黎曼 ζ 零点下界从 41.6% 提到 67.2%
Anthropic 称一个未发布的研究版 Claude 将临界线上 ζ 函数零点占比的已证下界提高到 67.2%，并已获外部专家审读。
Anthropic 于 8 月 10 日公布，其一个未发布的研究版 Claude 被要求正面挑战黎曼猜想。模型没能证明它，但在一个公认的相邻问题上给出了新结果。
结果是什么
数学界长期试图给出黎曼 ζ 函数非平凡零点落在临界线上的比例下界——猜想断言全部零点都落在这条线上。此前公开发表的最好结果约为 41.6%。Anthropic 称 Claude 把这一下界推到 67.2%，思路是发现 Baluyot、Goldston、Suriajaya 与 Turnage-Butterbaugh 的结果可以与 Bombieri 的早期工作结合，从而突破原有上限。
怎么做出来，又怎么核验
这不是一次提问就能得到的结果。Anthropic 描述的过程是在 Claude Code 中跑了两轮会话，消耗约 3100 万输出 token：模型先生成约 650 个候选思路，再调度约 60 个子智能体，执行约 2400 条 shell 命令、编写数百个 Python 脚本，用于数值验证、寻找反例、独立重证关键步骤并互相挑错。
结果由 Anthropic 内部两位数学家 Levent Alpöge 与 Ralph Furman 验证，解析数论领域专家 Brian Conrey 与 Dan Goldston 也在短时间内审阅了论文。Anthropic 明确表示，并不认为 Claude 使用的这套技术能通向黎曼猜想本身的证明。
为何重要
这是一项在专业数论学者耕耘数十年的问题上取得、并经同行过目的具体推进，而非跑分成绩。但保留意见是结构性的：论文尚未经过常规同行评议，而模型未发布、未具名，外部无人能复现这次运行。当下行业产出研究性结论的速度，已经超过了配套核验机制的建设速度——因此，智能体规模化编排本身，以及背后 3100 万 token 的算力账单，与数学结论同样值得关注。