5 年學術計畫被 AI 模型 11 天搞定！Claude 完成《費馬最後定理》形式化證明

一個原預計 5 年完成的學術計畫，被一個團隊只花 11 天就解決，這就是 AI 模型 Claude 帶來的最新 […]...