Anthropic 近日宣布，其 Claude AI 在 11 天內獨立完成費馬大定理的形式化證明，生成約 1300 萬行可逐行機器驗證的代碼，並已獲數學家 Kevin Buzzard 驗證成立。 該工作由數十個 Claude 智能體並行推進，借助彭天一組開發的協作工具 Prove2Me，以實時待辦清單協調分工；證明中約 7% 的行來自早期錯誤嘗試，形式化過程採用 Lean 語言，使每個邏輯步驟可被計算機檢查。