Anthropic 用 1,000 个 Claude agent 在 28.7 小时内完成费马大定理证明
https://t.co/PqKMYj2Pg5
1,000 个 Claude agent 接力跑 28.7 小时证完费马大定理，这个规模的多智能体协作实验很少见。文中还讲了 Claude 的记忆和「做梦」机制怎么设计，17 张幻灯片都在长文里。做 agent 编排的人可以看看别人怎么管理超长任务上下文。
Anthropic 的 Lance Martin 在 AIE CODE 2026 演讲中展示了一个多智能体实验：1,000 个 Claude agent 协同工作，耗时 28.7 小时完成了费马大定理的完整证明。该证明涉及数十万行推理链，由多个 agent 分工处理引理推导与验证环节。
演讲还披露了 Claude 的记忆机制设计：agent 如何在长时间任务中保存和调用中间结论，以及一种类似「做梦」的离线整理机制——agent 在空闲时段重组已有知识，为后续推理做准备。演讲共 17 张幻灯片，配套长文已发布。
这类大规模 agent 编排实验此前多用于代码任务（如 SWE-bench 类基准），把它用到数学定理证明属于较新的尝试，对研究多智能体协作与上下文管理的开发者有直接参考价值。
https://t.co/PqKMYj2Pg5
x.com/FinanceYF5/sta… AI Will @FinanceYF5 Anthropic 的 Lance Martin 在 AIE CODE 2026 讲了两件事：1,000 个 Claude agent 28.7 小时证完费马大定理；Claude 怎么记忆、怎么「做梦」。现场 17 张幻灯片都在长文里。 x.com/i/article/2121… 🔗 View Quoted Tweet
This report is categorized under AITOP's "Industry" desk, focusing on US frontier AI labs and Silicon Valley technology leaders. Within our cross-regional analytical framework, it directly maps to AI developer toolchains, coding agents, and engineering workflows. Key entities and technical topics under continuous tracking include Claude, Anthropic, agents, multi-agent systems.
Source attribution: curated from AI Will (@FinanceYF5). Cross-source corroboration: 11 independent sources have covered this development (including lmarena.ai, Dylan Patel (SemiAnalysis), Gary Marcus), confirming industry-wide signal strength.
