Tech Times 科技与产业动态·· 2026-09-05AI 评分42
Claude 用 11 天完成费马大定理机器验证形式化，人类团队原计划耗时数年
Fermat's Last Theorem Machine-Checked: Claude Completes in 11 Days What Took Years to Plan
AI 导读
Anthropic 于 2026 年 9 月 4 日发布费马大定理的首个完整计算机验证形式化成果，Claude 在 11 天内写出 1300 万行 Lean 证明代码，借助多智能体平台 Prove2Me 协调数十个 Claude 智能体并行工作。
来源：Tech Times 科技与产业动态 · techtimes.com