AI 解決 350 年數學問題

BiRun 消息，Anthropic 的 Claude 花了 11 天時間，將費馬大定理轉化為 13 million 行代碼，計算機可以自行檢査，無需人類信任。