多智能体 - 标签 - 搬砖程序员带你飞 https://lpflpf.cn/tags/%E5%A4%9A%E6%99%BA%E8%83%BD%E4%BD%93/ 多智能体 - 标签 - 搬砖程序员带你飞 Hugo -- gohugo.iozh-CNlipengfei634626165@163.com (lpflpf) lipengfei634626165@163.com (lpflpf)Tue, 08 Sep 2026 09:00:00 +0800 Claude 11 天证明费马大定理：1300 万行 Lean、60 亿 token，但最该抄的是它的智能体协作平台 https://lpflpf.cn/posts/fermat-claude-2026-09-08/ Tue, 08 Sep 2026 09:00:00 +0800 lpflpf https://lpflpf.cn/posts/fermat-claude-2026-09-08/ 1637 年，费马在书页边写下"我找到了绝妙的证明，可惜页边太窄写不下"，然后折磨了数学家 350 年。1995 年怀尔斯终于给出 129 页证明]]>