Anthropic 開源費馬大定理形式化證明：Claude 寫出近 3 萬個定理
Anthropic 在 GitHub 開源了費馬大定理的完整 Lean 4 形式化證明。該證明由 AI 智慧體生成，包含 29,511 個定理和超 1300 萬行程式碼，並通過了兩個獨立核心的嚴格驗證。這意味著 AI 首次獨立攻克了現代數學中最複雜的宏大證明形式化工程。
Anthropic 在 GitHub 開源了費馬大定理的完整 Lean 4 形式化證明。該證明由 AI 智慧體生成，包含 29,511 個定理和超 1300 萬行程式碼，並通過了兩個獨立核心的嚴格驗證。這意味著 AI 首次獨立攻克了現代數學中最複雜的宏大證明形式化工程。