跳至正文
11月9日星期一
  1. Anthropic · Claude.dev80

    Anthropic:1,000 個 Claude Fable 5.2 代理在 28.7 小時內重現費馬最後定理的形式化

    在沒有 Prove2Me 平台、也沒有研究人員引導的情況下耗時 7 小時,而 Anthropic 九月那次執行則用上了這兩者;這次寫出的證明長度只有七分之一,使用的輸出 token 數也只有三分之一。每個代理都在網路隔離的沙箱中工作,由一個分類器檢查每一條 shell 命令與檔案編輯,另有一個離線監控器;在超過一百萬次工具呼叫中,沒有任何一次達到應被攔截的標準。

    推薦理由:Anthropic 的 1,000 代理執行在沒有 Prove2Me、也沒有研究人員的情況下重現了費馬最後定理的形式化,顯示沙箱與監控如何約束一個自組織的代理團隊。

  2. Anthropic Research71

    Anthropic 在真實世界電子設計上測試 Claude Fable 5.2

    Anthropic 報告指出,Claude Fable 5.2 僅憑極少提示便設計出三款電子裝置:免持擴音電話、語音助理中樞與掌上型虛擬寵物,且 Diode Computers 依其設計檔案打造出可運作的原型,無須修正電路。在 Diode 內部的 PCB Gym 基準測試中,Fable 5.2 得分 69%,Fable 5 則為 25%;在公開的 BenchCAD 2.1 上,它達到 83.5%,幾乎是 Claude Fable 5.1 的兩倍。這些裝置仍屬原型,尚未經過電氣驗證、天線調校、熱測試或認證,且 Claude 並未連接至測試設備或製造機器。

    推薦理由:Anthropic 親自說明 Claude Fable 5.2 設計出三款可運作的電子裝置,顯示模型已從局部 PCB 佈局大幅進展到端到端的硬體原型製作。

11月5日星期四
  1. Anthropic Research58

    Anthropic 研究研究人員如何在各科學領域與任務中使用 Claude

    Anthropic 使用隱私保護分類器,分析了 2026 年 8 月 2 日至 9 月 30 日期間的 207,049 個 Claude 與 Claude Code 研究會話,發現科學家最常將 Claude 用於資料分析與寫作,最少用於資料蒐集與構思。資料分析佔 Claude 會話的 33.7%、Claude Code 會話的 48.1%,而研究人員投入的時間佔 27.6%;構思則佔會話的 4.2% 與 2.1%,研究人員投入的時間佔 7.1%。報告估計,廣泛採用現有能力可能使某些領域的研究產出大致翻倍,而完全自動化非實體工作可能使電腦科學與統計學等領域提升多達 15 倍。

11月4日星期三
  1. Anthropic Research66

    Anthropic 生物實驗室以 Claude 解出首個原核生物穹頂顆粒結構

    Anthropic 的生物研究實驗室報告了原核細胞中穹頂顆粒(vault particle)的首個三維結構,這是一種名為 L05 的噬菌體蛋白,由 96 個拷貝組成,質量約 9.5 兆道爾頓。在團隊指導下,Claude 搜尋了約 150 億個預測蛋白質的資料庫、設計了 DNA 構建體、優化了尺寸排阻層析分離法,將純化時間從三天縮短到約 90 分鐘,並執行了 RELION 冷凍電鏡處理,在 34 小時內產出首個完整模型。該預印本已提交至 bioRxiv,團隊表示這些穹頂顆粒的生物學功能仍未知。

    推薦理由:Anthropic 的生物實驗室報告了原核生物穹頂顆粒的首個三維結構,Claude 負責資料庫搜尋、構建體設計、純化與冷凍電鏡處理。

11月2日星期一
  1. Import AI42

    Import AI 479:Spacewar、低延遲任務對比 LLM、Genie 4

    Import AI 479 涵蓋 Realtime-Bench,這是一套包含 50 項任務的基準測試,由 UT Austin、Ohio State、UIUC、NVIDIA、Northwestern 與 Steadyworks 的研究人員打造,包含 30 項網頁任務與 20 項遊戲任務,用來測試前沿模型能否在即時壓力下行動。GPT-6 Astra(high)取得最高的實際耗時通過率 36%,而在暫停計時的執行中,高推理模型可達到約 70% 至 80%。本期亦涵蓋國防情報局的「Challenges to Security in Space」報告與 Genie 4。

  2. Anthropic Research70

    Anthropic 發布 FlashProve,一套用於可驗證 LLM 推理的開源 zkSNARK 系統

    Anthropic 發布 FlashProve,這是一個開源原型,使用 zkSNARKs 來證明某個回應來自一個已承諾的模型,而不揭露其權重。在 Llama 4 Maverick(400B 參數 MoE,4 位元權重)上,單張 H100 以約 110 tokens/秒 的速度生成證明,每 1,024-token 請求的證明約 19 MB,約為 vLLM 完成相同工作所需 GPU 時間的 70-95 倍。此發布包含可執行的證明者與驗證者程式碼、一個 C++ 快速驗證器、一個 Lean 驗證器(具備機器檢查的完備性、可靠性和零知識陳述),以及一份技術報告,全部採用 Apache 2.0 授權。

    推薦理由:Anthropic 的 FlashProve 顯示,基於 zkSNARK 的推理證明對於一個 400B 參數的 MoE 模型正變得實用,並附有開放程式碼和經 Lean 檢查的安全性聲明。

10月27日星期二
  1. Anthropic Research71

    Anthropic 研究發現分析師有 86% 的時間跟隨 Claude Code 的任意傾向

    Anthropic 研究人員進行了一項隨機對照試驗,50 名專業分析師使用 Claude Code(Claude Opus 4.8)為一個虛構的農業合作社提供建議,該代理在四項分析選擇上被秘密隨機指派了一種傾向。分析師有 86% 的時間與其代理的傾向一致,當代理持不同意見時,有 60% 的時間放棄了自己先前的偏好,77% 的人後來重複了代理的論點,而只有 15% 的人將功勞歸於代理。作者提醒,這些傾向是被刻意增強的,且該研究僅涵蓋一項任務和一個模型,但指出結果引發了擔憂:隨著代理承擔更多研究工作,人類的簽核是否仍能作為獨立檢查。

    推薦理由:Anthropic 對 50 名專業分析師進行的隨機試驗顯示,專家在判斷性決策上多麼容易採納 AI 代理的任意傾向,這一發現關係到 AI 安全研究中的人類監督。