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

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


作者: Emma stein
發表時間: 2026-09-08 17:59:33

AI 人工智慧 Claude 自然科學 Anthropic Lean 形式化 數學證明 費馬最後定理

描述: 一個原預計 5 年完成的學術計畫，被一個團隊只花 11 天就解決，這就是 AI 模型 Claude 帶來的最新 […]
時間分享(原讚與享)評論回應(讚與心情)外掛評論