实时
Anthropic 千智能体协作重证费马大定理
热点事件历史事件
Anthropic 千智能体协作重证费马大定理
2 篇报道2 个报道来源5 天前更新
先了解这件事
AI 综述
Anthropic 公布一项玩具实验：1000 个运行 Claude Fable 5.2 早期版本的智能体，在无网络沙箱中仅靠 Git 和共享 Postgres 数据库自行组织分工，用 28.7 小时完成费马大定理的形式化证明，且未使用 Prove2Me 提供的脚手架或研究者引导。 安全方面，每个智能体都在无网络沙箱中工作；分类器在执行前检查每条 shell 命令和文件编辑，离线监控器审查团队动作。该次运行只启用了基于动作的监控器，并行 CoT 监控器是此后才加入的。 Anthropic 称，此次输出 token 为 9 月版本的三分之一，证明长度为其七分之一。
AI 根据报道生成 · 更新于 5 天前
最新进展11月9日 20:00
Anthropic 使用 Claude Fable 5.2 让 1000 个智能体安全协作重证费马大定理报道时间线
沿着报道，了解事件的不同侧面。
11月10日
- Hacker News · 300+ 热帖Anthropic 发布 Claude Fable 5.2 和 Claude Mythos 5.2 大模型
Anthropic 发布 Claude Fable 5.2 和 Claude Mythos 5.2，在编码、推理和视觉任务上提升显著，支持多种复杂应用。
11月9日
- Claude.dev Blog精选Anthropic 使用 Claude Fable 5.2 让 1000 个智能体安全协作重证费马大定理
Anthropic 公布一项玩具实验：1000 个运行 Claude Fable 5.2 早期版本的智能体在无网络沙箱中，仅靠 Git 和共享 Postgres 数据库自行组织分工，用 28.7 小时完成费马大定理的形式化证明，输出 token 为 9 月版本的三分之一，证明长度为其七分之一。
本事件热度走势
- 可比范围当前
- 3
- 可比范围峰值
- 811月10日 05:00
- 近 24 小时变化
- -49%
02468
12:0011月11日12:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。