1000 个 Fable 5.2 Agent 协作形式化费马大定理，作者将开讲
RLanceMartin · x · 2026-11-12
RLanceMartin 预告将在 AI Engineer 大会 12:30 的演讲，分享两篇近期文章：一是如何扩展到 1000 个 Fable 5.2 agent 组成的团队来完成费马大定理的形式化证明；二是关于 agent「记忆 + dreaming」的几种思考方式。
「编程与Agent」频道最新
- 哈佛开新课 CS2680:从 Claude Code 一路讲到 LLM 推理服务栈 — udmrzn · 2026-11-12
- 实测本地 vs 云端编码 Agent：MacBook、RTX 5080 与国产模型对比 — luisdans · 2026-11-12
- 判断 Agent 交互下一步的最简法则：像期待能干同事那样期待它 — andreisavu · 2026-11-12
- Agent Substrate 1.0 正式发布:每个 Agent 独立 microVM 沙箱 — rakyll · 2026-11-12
- 开发者用 Gemini Decisions API 做草图猜谜应用,烂画也能认出 — fofrAI · 2026-11-12
- Together 推出 Compiler：让智能体持续优化推理编译瓶颈 — togethercompute · 2026-11-12