Anthropic 用 1,000 个 Claude agent 在 28.7 小时内完成费马大定理证明

Anthropic 的 Lance Martin 在 AIE CODE 2026 演讲中展示了一个多智能体实验：1,000 个 Claude agent 协同工作，耗时 28.7 小时完成了费马大定理的完整证明。该证明涉及数十万行推理链，由多个 agent 分工处理引理推导与验证环节。 演讲还披露了 Claude 的记忆机制设计：agent 如何在长时间任务中保存和调用中间结论，以及一种类似「做梦」的离线整理机制——agent 在空闲时段重组已有知识，为后续推理做准备。演讲共 17 张幻灯片，配套长文已发布。 这类大规模 agent 编排实验此前多用于代码任务（如 SWE-bench 类基准），把它用到数学定理证明属于较新的尝试，对研究多智能体协作与上下文管理的开发者有直接参考价值。