Claude 将黎曼猜想下界提升至 67.2%，动用 60 个子代理
Inevitable-Ant1725 · reddit · 2026-08-14
Anthropic 的 Claude 在黎曼猜想上取得进展，将满足黎曼猜想的零点比例下界从 41.6% 提升到 67.2%。该工作由 Anthropic 员工 Jarred Sumner 引导，Claude 在两天内协调约 60 个子代理，运行 2400 条 shell 命令，编写数百个 Python 脚本，并进行了数千次数值检查。Claude 还自主撰写了论文，并建议人类数学家验证。Anthropic 的数学家审查了结果，并完成了 Lean 形式化验证。
所属事件:Claude 650次失败后攻克黎曼猜想难题(2 条相关)→
「模型」频道最新
- DeepSeek V3.1 发布：强化代码与智能体推理，降低成本部署 — emmanuelvivier · 2026-08-14
- Claude Haiku 4.5 免费开放，Anthropic 对标 ChatGPT 日常使用 — emmanuelvivier · 2026-08-14
- DeepSeek 8月16日起上调 API 价格，历史低价优势收窄 — emmanuelvivier · 2026-08-14
- DeepSeek 正式发布 V4 Pro：先进智能体能力，原生支持 Responses API — emmanuelvivier · 2026-08-14
- DeepSeek Harness 两极口碑：推特骂声与国内热捧 — yihui_indie · 2026-08-14
- 实测：ChatGPT 能据 LinkedIn 头衔动态推荐你 — thejasminejade · 2026-08-14