千智能体仅用共享数据库和 git,写出仅七分之一长度的核检验证明
RLanceMartin · x · 2026-11-10
Lance Martin 说明实验动机：验证 1000 个运行早期版 Fable 5.2 的智能体能否在没有 Prove2Me 编排平台、没有研究员指导的情况下复现此前的费马大定理形式化证明。
结果团队只用共享数据库和 git 两个简单原语就完成协调，写出经 Lean 内核检验的证明，长度为此前版本的七分之一；9 月那次则由数十个智能体、内部模型、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