Copy link
Share
Print
Font size
URL copied.
Font size
6128
6128
6128
6128
黑板上的直角三角形與數學證明符號 / TokenPost.ai
以 Anthropic 的 Claude Fable 5.2 為基礎的 1,000 個 AI 代理，在 30 小時內完成費馬最後定理證明的形式化。
Anthropic 於 10 日在官方公告中公開 Fable 5.2 與 Mythos 5.2，並介紹這項實驗結果。Anthropic 技術部落格表示，代理使用 Lean 形式化定理時，獲得 60 個命題、證明路徑概要、定義，以及先前形式化工作中已證明的 47 條輔助引理；網際網路連線則遭到封鎖。相同配置下的 Claude Opus 5.5 在 18 小時後完成 26%，直到 30 小時進展仍有限。
Anthropic 也在同一份公告中表示，Fable 5.2 協調了超過 1,000 個子代理，花 8 天撰寫、測試與檢查程式碼，並打造出可在筆電上開機的作業系統原型。
<Copyright ⓒ TokenPost, unauthorized reproduction and redistribution prohibited>
Most Popular
Category article
News 
Coin Information 
About us 
Add as a preferred source on Google
Comment 0