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

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天，還需要專門設計的驗證工具及研究人員指導。這次改由大量代理分工處理，人工介入程度大幅降低，產生的證明也比前次精簡許多。

軟體工程方面，Anthropic 表示，Fable 5.2 已協助內部團隊處理原本成本過高、難以推動的大型專案。其中一項測試將重要的正式環境服務從 Python 遷移至 Rust，完成後的系統啟動速度提高約26倍。另一項實驗則讓模型協調超過1000個子代理，花費8天從空白資料夾建立可在筆電啟動的作業系統原型，包含檔案儲存、鍵盤、網路、視窗界面及登入功能。Anthropic 也將 Fable 5.2 用於硬體與理論物理研究。團隊與電路板設計公司 Diode 合作，讓模型負責挑選電子零件、設計電路板、規劃外殼及撰寫軟體，最後製作出語音助理控制器、USB 會議設備及掌上型電子寵物三款可運作裝置。實體電路板的製造與組裝仍由合作廠商參與，並非完全由 AI 獨立完成。

在科學研究方面，Anthropic 宣稱 Fable 5.2 協助解決兩項與黑洞及量子重力相關的未解理論問題。其中一項涉及黑洞在特定量子條件下的形成過程，另一項則針對長年使用的量子重力理論分析方法提出更精確的界限。相關成果已整理為研究預印本，但仍需接受後續學術檢驗。

模型評測也顯示出新版本的進步。依 Anthropic 公布的數據，Fable 5.2 在 FrontierCode 2.0 代理式程式開發測試取得49.1%，高於 Claude Opus 5.5 的45.5%、OpenAI GPT-6 Astra 的42.8%及 Google Gemini 4 Carbon 的41.1%。在 FrontierSWE v2 軟體工程評測中，Fable 5.2 也以69.9%領先。不過，Google Gemini 4 Carbon 在 AutomationBench 取得53.9%，仍高於 Fable 5.2 的51.4%，各模型在不同工作上的表現並不一致。第三方 Artificial Analysis 則給予 Fable 5.2 最高65分的綜合評價，超越先前領先的 Gemini 4 Carbon。不過，高推理設定通常需要消耗更多 token，不能只憑排行榜分數判斷實際使用成本。Anthropic 也建議，多數一般程式開發與知識工作仍可先使用 Opus 5.5，遇到特別複雜、需要長時間規劃的任務，再考慮切換至 Fable。

在價格方面，Fable 5.2 與 Mythos 5.2 均從前代每百萬輸入10美元、輸出50美元，降至8美元與40美元。Anthropic 宣稱，新版本的文字生成速度最高提升30%，另外提供可選的快速模式，最快能再提高約2.5倍，但輸入與輸出費率也分別增加至16美元及80美元。兩款模型均支援100萬 token 上下文，單次最大輸出12.8萬 token，訓練知識截止時間為2026年6月。

Fable 與 Mythos 使用相同的底層模型，主要差別在高風險用途的限制。Fable 5.2 會限制漏洞利用程式開發、部分滲透測試及敏感生物研究等要求，適合一般專業工作；Mythos 5.2 則開放更多資安與生命科學研究能力，但必須通過 Anthropic 的身分及用途驗證。後者已開始提供給符合資格的機構申請，並非一般訂戶可以直接選用的版本。Anthropic 表示，Mythos 5.2 在內部漏洞重新發現測試中，比前代找出更多已知安全問題。Mozilla 也參與了新版本的測試，Firefox 工程團隊回報，新模型在漏洞研究方面比 Mythos 5.1 有明顯改善。一般企業客戶則可透過 Claude Security 使用包含 Mythos 5.2 在內的模型能力，進行程式碼安全掃描。

Claude Fable 5.2 已於11月9日上線，支援符合資格的 Claude 付費方案、Claude Code 及 Claude API，開發者可使用模型識別碼「claude-fable-5-2」串接。Amazon Web Services、Google Cloud 與 Microsoft Azure 也已納入供應平台。Anthropic 同時為部分付費訂戶提供限時額外使用額度，實際可用量依訂閱等級及帳號資格而異。