Claude 挑战黎曼猜想，意外将下界证明提升至 67.2%
Dr_Singularity · x · 2026-08-11
Anthropic 给一个未公开的研究版 Claude 布置了极具挑战性的任务：尝试解决数学界著名难题“黎曼猜想”。
虽然 Claude 未能彻底证明该猜想，但在探索过程中意外取得了相关突破。此前数学家证明了黎曼 zeta 函数至少有 41.6% 的非平凡零点落在临界线上，而 Claude 通过结合并扩展现有数学研究，成功将这一保证下界提升至 67.2%。
在此过程中，Claude 探索了约 650 个失败思路，协调了约 60 个 AI 子智能体，执行了数千次数值检查，编写了数百个 Python 脚本，并最终生成了通过自动验证的 Lean 形式化证明。
所属事件:Anthropic 研究版 Claude 挑战黎曼猜想获实质性突破(21 条相关)→
「模型」频道最新
- 用户实测：DeepSeek v4 Flash 不仅是代码能手，通用能力同样出色 — aiamblichus · 2026-08-11
- 独立开发者推出更轻快低价的 DeepSeek Flash v4 微调模型 — bindureddy · 2026-08-11
- Qwen 3 30B本地推理破千，Apple端侧AI硬件优势凸显 — StefanoGogioso · 2026-08-11
- 本地模型网页设计大比拼：Muse Glimmer 对决 Qwen 与 DeepSeek — ShadyShroomz · 2026-08-11
- Muse Glimmer 本地编码实测：20GB 内存可跑，能力不及 Qwen — curiousily_ · 2026-08-11
- Perplexity Agent API 上线 Kimi K3，附自动化数据报告实践 — AravSrinivas · 2026-08-11