Anthropic旗下Claude在11天內完成費馬最後定理的電腦驗證證明

Anthropic於9月4日表示，其AI模型Claude在11天內成功準備了費馬最後定理（Fermat's Last Theorem）的首個完全電腦驗證證明。該實驗由研究員田義鵬（Tianyi Peng，音譯）組織，Claude將數學推理轉化為Lean證明助手可驗證的代碼，共證明約30,300個中間定理，最終代碼規模達1,300萬行。此舉旨在將已知的數學證明形式化，以利於電腦系統進行步驟驗證。