Claude 攻克黎曼猜想失败，却将零点下界推进至 67.2%
机器之心 · wechat · 2026-08-11
Anthropic 内部测试显示，尚未发布的 Claude 研究版本在尝试证明黎曼猜想时，虽然未能取得最终成功，但在相关问题上取得了重大数学突破：将黎曼 ζ 函数中已知位于临界线上的零点比例下界，从 41.6% 大幅提高到了 67.2%。
在此次实验中，Jarred Sumner 让 Claude 开放式地挑战黎曼猜想。Claude 先后尝试约 650 个思路均告失败。随后它组织了约 60 个子 Agent，连续工作一天半，执行 2400 次 Shell 命令并编写数百个 Python 脚本进行数值检验，最终找到了这一新下界。
找到结果后，Claude 主动建议撰写论文并寻求人工验证。Anthropic 内部数学家及外部专家均审阅了该论文，Claude 还给出了通过标准工具检查的 Lean 形式化证明。这标志着前沿 AI 模型的数学能力正开始触及真正没有现成答案的开放性研究问题。
所属事件:Anthropic 研究版 Claude 挑战黎曼猜想，零点下界提升至 67.2%(33 条相关)→
「漫话AGI」频道最新
- 别凭直觉否定 AI 安全：80,000 Hours 深度解析权力寻求风险 — AndyMasley · 2026-08-11
- 导演 Doug Liman 拍 7000 万美元 AI 混合电影：核心省的是时间不是人 — Uncanny_Harry · 2026-08-11
- AI 推高网络安全成本，预计三年内额外增加 50% — jessi_cata · 2026-08-11
- Coinbase：AI代理已上岗，但需要钱包 — RichardSocher · 2026-08-11
- 观点：“AI 智能体即员工”定位被指行不通 — nbaschez · 2026-08-11
- 网站公然标注“为 LLM 搜索优化而非人类”，SEO 行业生态生变 — lilyraynyc · 2026-08-11