Anthropic称千个Fable 5.2智能体30小时形式化费马大定理
热点事件持续更新
Anthropic称千个Fable 5.2智能体30小时形式化费马大定理
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Anthropic 宣布，1000 个 Fable 5.2 智能体组成团队，在 30 小时内把费马大定理的证明完全形式化，即翻译成计算机可逐步检查的语言。 同一设置下，Anthropic 称 Opus 5.5 在 18 小时仅完成 26%，30 小时后几乎没有更多进展。其公布的图表显示，Fable 5.2 在 18 小时达到 0.86 后中断 12 小时再恢复，最终完成度为 1.00，Opus 5.5 为 0.27。上述完成度与对比结果均来自 Anthropic 的说法。
AI 根据报道生成 · 48 分钟前更新
报道时间线
沿着报道，了解事件的不同侧面。
11月10日
- RadarAI精选Anthropic：1000 个 Fable 5.2 智能体 30 小时完成费马大定理证明形式化，Opus 5.5 仅完成 26%
Anthropic 宣布 1000 个 Fable 5.2 智能体组成团队，在 30 小时内完成费马大定理证明的完全形式化，把证明翻译成计算机可逐步检查的语言。同一设置下，Opus 5.5 在 18 小时仅完成 26%，30 小时后几乎没有更多进展。图表显示 Fable 5.2 在 18 小时达到 0.86 后中断 12 小时再恢复，最终完成度 1.00，Opus 5.5 为 0.27。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。