Anthropic 千代理协作 30 小时形式化证明费马大定理
RLanceMartin · x · 2026-11-10
swyx 转发并评论 Anthropic 的 Fable 5.2 发布演示：RLanceMartin 分享了让 1000 个 Fable 5.2 智能体在安全边界内协作的成果——团队通过协调完成了费马大定理的形式化证明。swyx 爆料称团队还为一个 AI 编码演讲准备了「更大的东西」。
所属事件:千个 Fable 5.2 智能体 30 小时形式化费马大定理(25 条相关)→
「公司和人」频道最新
- 九家大厂官方 AI 课程免费学，附 Anthropic 全套课程目录 — aftahi_ai · 2026-11-10
- 湾区 AI 实验室求职者：每天公开构建，把运气面积扩大 100 倍 — brandon_galang · 2026-11-10
- AI Agent 赛道内卷：Gemini Spark、Dots、Muse 发布即被跟进 — emmanuelvivier · 2026-11-10
- 评论称科技公司过于押注编码，应更激进推动科研智能体 — VraserX · 2026-11-10
- 美国 IOI 奖牌得主去向:MIT 121 人,比第二名哈佛多 11 倍 — FinanceYF5 · 2026-11-10
- 「Ilya 也在场外了」:一场关于先驱者错过奇点的行业感叹 — bookwormengr · 2026-11-10