Claude 完成费马大定理首个机器可验证形式化证明

核心要点速览 (Key Takeaways)

• ✓Anthropic 宣布 Claude 完成了费马大定理在 Lean 中的首个形式化证明，专家原预计该工作需要数年。这份超过 1300 万行的证明同时验证了逾 2.9 万条支撑定理，是迄今最大的 Lean 证明。