# Claude 1.5天将黎曼假设下界推至67.2%

- 来源：AYi (@AYi_AInotes)
- 发布时间：2026-08-11 10:18
- AIHOT 分数：51
- AIHOT 链接：https://aihot.virxact.com/items/cmso31cwm08mmrofwgswh5kbs
- 原文链接：https://x.com/AYi_AInotes/status/2087000738035621896

## AI 摘要

Anthropic 未发布研究版 Claude 将黎曼 zeta 函数零点满足假设的比例下界从 41.6% 提升至 67.2%，人类数学家此前花了 37 年才从 40% 推进到 41.6%。

## 正文

holy shit,人类数学家花了 37 年,把这个数从 40% 推到 41.6%,Claude 用了 1.5 天,就推到了 67.2%,这是黎曼假设关键部分结果的历史最大单步跃升。

@AnthropicAI 的未发布研究版 Claude,60 个 subagent,3100 万 token,2400 条 shell 命令,650 个失败想法之后,找到了一条人类数学家 40 年没找到的路。

不是那种数值计算,是严格证明,Lean 形式化验证,Conrey 本人 -- 就是那个 1989 年创下 40% 纪录的人审阅通过。

指挥这次突破的人不是数学家,他叫@arredSumner ,Anthropic 员工,给了 Claude 一句开放指令:认真试试黎曼假设。然后 Claude 自己开了 60 个 agent,跑了一天半,写了几百个脚本,试了 650 个想法全失败,第 651 个把一个停滞 40 年的数学纪录从 41.6% 砸到了

这是 AI 第一次在纯数学最硬核的开放问题上,做出了专家级的原创贡献,

很多年后我们回头看,这可能是 AI 开始做原创科学发现 的第一个明确里程碑,不是解题,也不是辅助计算,是真的往前推了一步。

### 引用推文

> Anthropic：We asked an unreleased research version of Claude to take a stab at the Riemann hypothesis. It didn't solve it, but it did make strides on a related problem: it...