Anthropic 未发布模型在黎曼猜想上取得重大进展
An unreleased Anthropic model made progress on one of math’s biggest unsolved problems
AI 导读Anthropic 周一宣布，其一款尚未发布的模型在黎曼猜想上取得重大进展，显著提高了该猜想成立解的下界。该模型在一天半内测试了 650 种思路，协调 60 个子智能体，花费 3100 万（token），其中两个子智能体贡献了关键数学思想。结果已由 Anthropic 内部数学家确认，并使用开源证明助手 Lean 形式化。
另有 3 家信源报道
- Anthropic 宣布研究版 Claude 攻克黎曼猜想取得重大突破IT之家·人工智能 · 8 月 11 日
- Claude 研究版推进黎曼猜想相关证明Anthropic · 8 月 11 日
- Claude 未发布研究版将黎曼 zeta 函数零点下界从 41.6% 提升至 67.2%Anthropic：Research · 8 月 11 日
来源：TechCrunch：AI · techcrunch.com
事件后续1
查看事件全部- Claude 未发布研究版将黎曼 zeta 函数零点下界从 41.6% 提升至 67.2%Anthropic：Research · 8 月 11 日