# Claude 未解黎曼猜想却改进关键下界

- 来源：Chubby♨️ (@kimmonismus)
- 发布时间：2026-08-11 02:24
- AIHOT 分数：52
- AIHOT 链接：https://aihot.virxact.com/items/cmsnl245p0c9mrohf3n3jkc3v
- 原文链接：https://x.com/kimmonismus/status/2086881395465466004

## AI 摘要

Anthropic 让未发布版 Claude 尝试黎曼猜想，虽未解决，却将满足猜想的黎曼 zeta 函数零点比例下界从 41.6% 提升至 67.2%。Claude 协调 60 个子智能体、测试数百个想法并检索文献，还用 Lean 形式化验证了结果。这被视为自主 AI 驱动科学发现的早期范例。

## 正文

Absolutely insane. This might be the clearest glimpse yet of how AI will transform scientific discovery.

Anthropic asked an unreleased version of Claude to take a real stab at the Riemann Hypothesis, one of the most famous unsolved problems in mathematics.

It failed. But while failing, Claude unexpectedly improved a longstanding lower bound for the proportion of zeros of the Riemann zeta function known to satisfy the hypothesis, from 41.6% to 67.2%.

Claude coordinated 60 subagents, tested hundreds of ideas, searched the literature, challenged its own proof, and formalized the result in Lean. This is what the beginning of autonomous AI-driven scientific discovery looks like.

Unironically, the Rienann hypothesis will probably be solved in the very near future.

I am speechless.

### 引用推文

> 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...