AI 科技與科學 「百年數學難題被 AI 機器驗證了！」Anthropic 震撼宣布：Claude 僅花 11 天寫出 1,300 萬行 Lean 程式碼，完成人類首個《費馬最後定理》形式化證明全解析 Anthropic 旗下 Claude 僅花 11 天自主產出 1,300 萬行 Lean 4 代碼，完成人類首個《費馬最後定理》端到端電腦形式化證明。本文深度解析 Prove2Me 平台架構、Kevin Buzzard 專家評價，以及 AI 如何化解純數學百年「審稿危機」。
