Anthropic 发布 Claude 研究版在黎曼猜想相关问题上取得进展
事件全貌
AI 综述Anthropic 让一个未发布的研究版 Claude 尝试攻克黎曼猜想，虽未成功，但在相关问题上取得突破：将满足黎曼猜想的黎曼 zeta 函数零点比例下界从 41.6% 提升至 67.2%。该成果被部分评论者视为自 2013 年有界素数间隔以来解析数论领域最重大的突破，将临界线上已被证明的零点比例提升了 25.6 个百分点，而此前 37 年间数学家们仅将其推进了 0.8 个百分点。
Claude 在过程中协调了 60 个子智能体，测试了 650 种思路，花费 3100 万 token，其中两个子智能体贡献了关键数学思想，并使用 Lean 形式化验证了结果，被视为自主 AI 驱动科学发现的早期范例。结果已由 Anthropic 内部数学家确认，最终由数学家 Levent Alpöge 完成验证。
AI 汇总报道生成 · 42天前更新。单篇报道保留其发布时的原貌。
历史报道归档。当前热点以新版榜单为准。
报道时间线
沿着报道，了解事件的不同侧面。
- Anthropic 未发布模型在黎曼猜想上取得重大进展
Anthropic 周一宣布，其一款尚未发布的模型在黎曼猜想上取得重大进展，显著提高了该猜想成立解的下界。该模型在一天半内测试了 650 种思路，协调 60 个子智能体，花费 3100 万（token），其中两个子智能体贡献了关键数学思想。结果已由 Anthropic 内部数学家确认，并使用开源证明助手 Lean 形式化。
- Anthropic 宣布研究版 Claude 攻克黎曼猜想取得重大突破
Anthropic 8 月 11 日宣布，未公开的研究版 Claude 在攻克黎曼猜想中取得重要进展，将黎曼 ζ 函数临界线上零点比例的长期下界从 41.6% 提高至 67.2%。
- Claude 在黎曼猜想相关问题上取得新进展：下界从 41.6% 提升至 67.2%
Anthropic 让未发布的研究版 Claude 尝试攻克黎曼猜想，虽未成功，却在相关问题上取得突破：将满足黎曼猜想的 zeta 函数零点比例下界从 41.6% 提升至 67.2%。
- Claude 研究版推进黎曼猜想相关证明
我们让一个未发布的研究版 Claude 尝试攻克黎曼猜想。 它没有解决该猜想，但在一个相关问题上取得了进展：它将满足该猜想的黎曼 zeta 函数零点比例的下界从 41.6% 提高到了 67.2%。 https://www.anthropic.com/research/riemann-zeta
- Claude 未发布研究版将黎曼 zeta 函数零点下界从 41.6% 提升至 67.2%
Anthropic 员工让 Claude 尝试攻克黎曼猜想，虽未成功，但一个未发布的研究版 Claude 在相关问题上取得突破：将满足黎曼猜想的 zeta 函数零点比例下界从 41.6% 提升至 67.2%。