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 条相关)→
「模型」频道最新
- OpenAI 未发布模型开源 722 篇数学论文,数学界炸锅 — thursdai_pod · 2026-10-16
- Fable 5/5.1 被观察到异常执着于「记录与存档」行为 — repligate · 2026-10-16
- 同一提示词下 Gemini 4 Argon 在 AI Studio 与 AI Mode 表现差距明显 — gaganghotra_ · 2026-10-16
- 长期实测发现:AI 编程犯错方式与人类完全不同,越强的模型错得越离谱 — Mu5_ · 2026-10-16
- ChatGPT 界面截图曝光:Wallet 功能即将上线,健康财务全接入 — jxnlco · 2026-10-16
- 网友看淡下代模型:缺原生听觉与视频输入是硬伤 — imjustnewatai · 2026-10-16