幣界網消息，Anthropic的Claude在短短11天內完成了人類花費358年才解決的費馬最後定理的重寫。該定理最早於1637年在一本书的邊緣被記錄，並附有證明其無法適用的註釋。人類直到1994年才解決此定理，但當時的證明複雜到幾乎沒有人能完全驗證。Claude將整個證明重寫為1300萬行代碼，計算機可以自行驗證，且在不到兩週的時間內完成。現在，整個證明已公開，任何人都可以逐行檢查。