1000 个智能体协作，把费马大定理证明完整形式化
RLanceMartin · x · 2026-11-10
作者宣布其团队用 1000 个「Fable 5.2」智能体在安全边界内协同工作，完成了费马大定理证明的形式化——即把 Andrew Wiles 1995 年证明的每一步都变成计算机可验证的形式。这是数学界长期追求的目标，该证明 350 多年未被攻克。
作者还回顾：今年 9 月团队曾发布首个由数十个智能体（运行内部模型，能力约相当于 Claude Fable 5.1）通过 Prove2Me 编排平台完成的形式化成果，由一名研究员统筹指导。
所属事件:Anthropic 千个 Fable 5.2 智能体 30 小时形式化费马大定理(11 条相关)→
「编程与Agent」频道最新
- 开发者用 Rex 在 macOS 原生管理 25-30 个并行 agent 会话 — jonathan_wilke · 2026-11-10
- Pi Dash 用 Muse Ember 十智能体协作，一天重写 17.8 万行生产代码 — AIatMeta · 2026-11-10
- 单个提示词生成体素破坏引擎，MacBook 上流畅运行 — mattshumer_ · 2026-11-10
- 微软 Foundry 的 azd 扩展正式 GA：Agent 配置随代码入库 — WirelessLife · 2026-11-10
- 微软 BoxBox:长跑 Agent 运行中热更新自身 harness,提速 1.70 倍 — dair_ai · 2026-11-10
- Arduino 发布开源 RouterBridge_ROS：单片机上实时 I/O 直连 ROS 2 — kscottz · 2026-11-10