Anthropic 发布 Claude 研究版在黎曼猜想相关问题上取得进展
最新报道补充了模型测试 650 种思路、花费 3100 万 token 等细节，并确认由数学家 Levent Alpöge 完成最终验证。
事件全貌
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 汇总全部报道生成，随事件进展持续更新；下方时间线中的单篇报道保留其发布时的原貌。
报道时间线
- Claude 将黎曼猜想零点比例推至 67.2%
Bun 创始人跑步时让未发布的新版 Claude 尝试黎曼猜想，Claude 试错 650 个方向、开 60 个子代理、跑 2400 次 shell 命令，将黎曼ζ函数临界线上零点比例从 41.6% 推至 67.2% 并写出论文。Anthropic 数学家 Levent Alpöge 完成最终验证，数学研究方式由此改变。
- Anthropic 未发布模型在黎曼猜想上取得重大进展
Anthropic 周一宣布，其一款尚未发布的模型在黎曼猜想上取得重大进展，显著提高了该猜想成立解的下界。该模型在一天半内测试了 650 种思路，协调 60 个子智能体，花费 3100 万（token），其中两个子智能体贡献了关键数学思想。结果已由 Anthropic 内部数学家确认，并使用开源证明助手 Lean 形式化。
- Anthropic 宣布研究版 Claude 攻克黎曼猜想取得重大突破
Anthropic 8 月 11 日宣布，未公开的研究版 Claude 在攻克黎曼猜想中取得重要进展，将黎曼 ζ 函数临界线上零点比例的长期下界从 41.6% 提高至 67.2%。
- Claude 1.5天将黎曼假设下界推至67.2%
Anthropic 未发布研究版 Claude 将黎曼 zeta 函数零点满足假设的比例下界从 41.6% 提升至 67.2%，人类数学家此前花了 37 年才从 40% 推进到 41.6%。
- Claude 在黎曼猜想相关问题上取得新进展：下界从 41.6% 提升至 67.2%
Anthropic 让未发布的研究版 Claude 尝试攻克黎曼猜想，虽未成功，却在相关问题上取得突破：将满足黎曼猜想的 zeta 函数零点比例下界从 41.6% 提升至 67.2%。
- Claude 未解黎曼猜想却改进关键下界
Anthropic 让未发布版 Claude 尝试黎曼猜想，虽未解决，却将满足猜想的黎曼 zeta 函数零点比例下界从 41.6% 提升至 67.2%。Claude 协调 60 个子智能体、测试数百个想法并检索文献，还用 Lean 形式化验证了结果。这被视为自主 AI 驱动科学发现的早期范例。
- Claude 推动黎曼猜想证明率跃升25.6个百分点
Claude 的这一惊人成果，是自 2013 年有界素数间隔以来解析数论领域最重大的突破。 它将黎曼 zeta 函数临界线上已被证明的零点比例提升了 25.6 个百分点。而在此前 37 年间，数学家们仅将其推进了 0.8 个百分点。
- 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%。