事件追踪追踪中
Anthropic称千个智能体30小时形式化费马大定理
首次报道 最新进展 3 篇报道，3 个来源
事件综述根据 3 篇报道整理，11月10日更新
Anthropic 在开发者博客中称，一项“玩具实验”里，1000 个运行 Claude Fable 5.2 早期版本的智能体在 28.7 小时内完成了费马大定理的形式化证明，即把证明转写成计算机可逐步检验的语言；该实验未使用 Prove2Me 平台，也没有研究者全程指导。每个智能体都在无网络的沙箱中工作，每条 shell 命令和文件编辑在执行前由分类器检查，离线监控器会审查团队动作；该次运行只启用了基于动作的监控。 Claude 官方账号随后称，同一设置下 Opus 5.5 在 18 小时内只完成 26%，到 30 小时也几乎没有更多进展。上述结果均为厂商自述，尚未见独立验证或复现。
综述由模型根据报道生成，细节以各篇原文为准。
进展时间线
北京时间，最早在上ClaudeClaude智能体形式化费马大定理
阅读这篇报道
全部报道
3 篇，点开看摘要Anthropic 发布 Claude Fable 5.2 与 Mythos 5.2，重夺全球 LLM 第一
Anthropic 发布 Claude Fable 5.2 与 Claude Mythos 5.2，在 Artificial Analysis Intelligence Index v5 上以 65 分重回第一，超过 Gemini 4 Carbon（60）与 Opus 5.5（59）。
阅读这篇报道1000 个 Fable 5.2 智能体用 30 小时完成费马大定理形式化
Claude 官方账号称，一支由 1000 个 Fable 5.2 智能体组成的团队用 30 小时将费马大定理的证明完整形式化，转写成计算机可逐步检验的语言。同一设置下，Opus 5.5 在 18 小时内只完成 26%，到 30 小时也几乎没有更多进展。
阅读这篇报道Anthropic 用 1000 个 Claude Fable 5.2 智能体在 28.7 小时内完成费马大定理形式化证明
Anthropic 报告一项玩具实验：1000 个运行 Claude Fable 5.2 早期版本的智能体在 28.7 小时内完成了费马大定理的形式化证明，未使用 Prove2Me 平台，也没有研究者全程指导。
阅读这篇报道