IXThinker·2026-09-08 17:00

AI完成費馬大定理端到端機器驗證

清華姚班團隊聯同Anthropic，以Claude在11天內完成費馬大定理首個端到端機器驗證證明，生成1300萬行代碼，實現全自動、可復現的形式化驗證，為這道350多年的難題寫下機器解法。

11天完成證明

費馬大定理曾令數學家耗費數年心血、寫下129頁證明方告攻克。此番Claude僅用11天完成首個端到端機器驗證證明，全程自動生成與驗證，人類無需逐條檢查繁複的推演步驟。