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
本条情报归属 AITOP「行业」核心栏目，重点聚焦北美前沿实验室与硅谷科技巨头。在跨区域产业观察坐标中，该动态直接关联「AI 开发者工具链、Coding Agent 与工程化实践」研究主线，反映出当前技术演进与商业落地的最新风向。涉及核心实体与技术议题包括：Claude、Anthropic、智能体、多智能体协作，读者可通过下方标签进入对应专题页查阅历史脉络与关联对比。
信源核验说明：本文原始线索采编自「AI Will」（@FinanceYF5），经 AITOP 多维评分管线结构化提炼。截至目前，全网已有 11 家独立信源对该事件进行交叉印证与跟进报道（含 lmarena.ai、Dylan Patel (SemiAnalysis)、Gary Marcus 等），属于近期高关注度行业信号。
