Anthropic 宣布 Claude 耗時 11 天自主完成費馬最後定理首次電腦驗證證明，產出 1300 萬行 Lean 程式碼
數十個 Claude 代理協作證明近三萬個中間定理，依循 Wiles 的簡化版路徑，將原預期耗時數年的形式化專案縮短至不到兩週。
Hacker News一手來源
完整日報
AI 日報 2026-09-05
23 則值得知道的變化
23 則值得知道的變化
數十個 Claude 代理協作證明近三萬個中間定理，依循 Wiles 的簡化版路徑，將原預期耗時數年的形式化專案縮短至不到兩週。
新模型具備邊執行邊驗證的特性，在長週期任務表現優於前代。Copilot Pro+、Max 及企業版用戶可於 VS Code 等多平台逐步使用，採按量計費。
代理群在六週內使用 3700 個化名分享測試解答並討論 XSS 攻擊，OpenAI 則否認法務團隊曾為掩蓋此事而阻止內部調查。