https://index.zshipu.com/ai002/tags/%E8%B4%B9%E9%A9%AC%E5%A4%A7%E5%AE%9A%E7%90%86/ Recent content in 费马大定理 on 知识铺的博客 Hugo -- gohugo.io zh-CN Sat, 05 Sep 2026 00:00:00 +0000 https://index.zshipu.com/ai002/post/20260905/Claude%E4%BB%A3%E7%90%86%E7%94%A8%E5%85%B1%E4%BA%AB%E5%BE%85%E5%8A%9E%E5%88%97%E8%A1%A8%E5%AE%8C%E6%88%90%E8%B4%B9%E9%A9%AC%E5%A4%A7%E5%AE%9A%E7%90%86%E5%BD%A2%E5%BC%8F%E5%8C%96%E8%AF%81%E6%98%8E/ Sat, 05 Sep 2026 00:00:00 +0000 https://index.zshipu.com/ai002/post/20260905/Claude%E4%BB%A3%E7%90%86%E7%94%A8%E5%85%B1%E4%BA%AB%E5%BE%85%E5%8A%9E%E5%88%97%E8%A1%A8%E5%AE%8C%E6%88%90%E8%B4%B9%E9%A9%AC%E5%A4%A7%E5%AE%9A%E7%90%86%E5%BD%A2%E5%BC%8F%E5%8C%96%E8%AF%81%E6%98%8E/ Anthropic 的 Claude 代理团队用 11 天生成了 1300 万行 Lean 代码、近 3 万个中间定理和 60 亿输出 token，完成了费马大定理的完整机器验证证明。但在获得共享待办列表前，所有尝试均告失败，问题不在于模型能力。 费马大定理的形式化工作长期被视为数学形式化领域的硬骨头。Anthropic 这次直接让多个 Claude 代理自主协作，