Claude Fable 5.2使用千個 AI 代理30小時完成費馬定理形式化證明

〔AI頻道／綜合報導〕Anthropic 本周一發表最新高階模型 Claude Fable 5.2，並同步推出限定專業機構使用的 Claude Mythos 5.2，主打大型程式開發、科學研究及長時間自主執行任務。Fable 5.2 在第三方評測機構 Artificial Analysis 最新 Intelligence Index 取得65分，登上綜合排行榜首位。Anthropic 也調降兩款模型的 API 價格，每百萬輸入及輸出 token 分別收費8美元、40美元，比前代便宜20%。這次發表最受關注的成果之一，是使用了約一千個 Fable 5.2 AI 代理在30小時內完成費馬最後定理的形式化證明。費馬最後定理早已由數學家證明，形式化工作則是將既有數學推導轉換成電腦可以逐步檢查的內容。Anthropic 今年9月曾利用內部研究模型完成相同工作，當時耗費11天，還需要專門設計的驗證工具及研究人員指導。這次改由大量代理分工處理，人工介入程度大幅降低，產生的證明也比前次精簡許多。