研究突破
Anthropic Claude 獨力完成費馬最後定理形式化證明：11 天、1300 萬行 Lean 程式碼
Anthropic 宣布 Claude 在 11 天內幾乎自主完成費馬最後定理（FLT）的完整電腦可驗證證明，產出 1300 萬行 Lean 程式碼與 29,500 個中間定理。數學界領袖 Kevin Buzzard 盛讚此為「非凡的自動形式化成就」。
Anthropic 宣布 Claude 在 11 天內幾乎自主完成費馬最後定理（FLT）的完整電腦可驗證證明，產出 1300 萬行 Lean 程式碼與 29,500 個中間定理。數學界領袖 Kevin Buzzard 盛讚此為「非凡的自動形式化成就」。