千名 AI Agent 30 小时再证费马大定理，但经验难迁移
petrusenko_max · x · 2026-11-12
Anthropic 此前用 11 天将费马大定理证明形式化为计算机可验证版本；本周公布的第二次运行中，由 1,000 个 AI Agent 组成的团队将时间缩短到 30 小时。
评论区观点：千 Agent 之所以能形成合力，核心前提是输出可被机器自动验证（形式化证明可由 Lean 等工具检查）；而大多数现实工作并不具备这种可自动校验的输出，因此这类「堆 Agent 数量」的经验很难直接迁移到一般任务上。
所属事件:千个 Agent 30 小时完成费马大定理形式化证明(3 条相关)→
「编程与Agent」频道最新
- LangChain 创始人伦敦演讲：企业要用 Deep Agents「拥有自己的智能」 — hwchase17 · 2026-11-12
- 玩家挂机自建 Agent 玩魔兽,代练到 13 级仍在修导航 — shakoistsLog · 2026-11-12
- 开发者用 Fable 5.2 过夜跑出 7 倍于 GTA6 地图的实时城市模拟 — zeeg · 2026-11-12
- Perplexity 前员工用 Computer 打造 GPU 行情终端 — jeffgrimes9 · 2026-11-12
- AWS Emulator 开源：数万自主 AI Agent 写下全部代码 — blaizedsouza · 2026-11-12
- Roma 2.0 一条 Prompt 串联 Claude、ChatGPT、Grok 循环跑研究 — EXM7777 · 2026-11-12