Anthropic:1,000 個 Claude Fable 5.2 代理在 28.7 小時內重現費馬最後定理的形式化
在沒有 Prove2Me 平台、也沒有研究人員引導的情況下耗時 7 小時,而 Anthropic 九月那次執行則用上了這兩者;這次寫出的證明長度只有七分之一,使用的輸出 token 數也只有三分之一。每個代理都在網路隔離的沙箱中工作,由一個分類器檢查每一條 shell 命令與檔案編輯,另有一個離線監控器;在超過一百萬次工具呼叫中,沒有任何一次達到應被攔截的標準。
推薦理由:Anthropic 的 1,000 代理執行在沒有 Prove2Me、也沒有研究人員的情況下重現了費馬最後定理的形式化,顯示沙箱與監控如何約束一個自組織的代理團隊。