11 月 2 日，Anthropic Research 部落格公布可驗證推理研究 FlashProve，次日官方 X 帳號宣布開源，TechCrunch、機器之心隨後跟進。這套基於 zkSNARK 的原型讓模型提供方在不公開權重前提下，證明某次回覆確由指定模型生成：服務商先為某組權重生成密碼學承諾作為模型指紋，之後每次… 看完整事件
Anthropic 開源 FlashProve，用零知識證明核驗模型身份
Anthropic 開源可驗證推理系統 FlashProve，讓服務商在不公開模型權重的情況下，用零知識證明某條回答確實由指定模型生成。該系統在 4000 億引數的 Llama 4 Maverick 上測試，單張 H100 每秒可生成約 110 Token 的證明，每 1024 Token 請求的證明檔案約 19 MB，24 執行緒 CPU 驗證約需 17 秒。
把零知識可驗證推理推進到 4000 億引數 MoE 規模，給出 110 Token/s、約 19 MB 證明的實測資料和 Lean 形式化驗證程式碼，為第三方 API 中轉和模型供應鏈的獨立核實提供新手段。
原標題：刚刚，Anthropic开源FlashProve，给大模型办了一张「防伪身份证」
閱讀原文
| 評分 | 79 / 84（平均 81，門檻 65） |
|---|---|
| 狀態 | 精選 |
相關報導
@AnthropicAI: New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Anthropic 前沿紅隊部落格發布研究：與 Theorem Labs 合作，用 Claude 在數週內為一百多個真實開源庫證明安全屬性。形式化驗證過去只能用於小規模程式碼庫或需大量專家時間，AI 模型正讓大規模驗證變得可行。完整研究已在其部落格發布。
@AnthropicAI: We’re expanding our Cyber Verification Program to give security professionals broader access to our…
Anthropic 宣布擴充套件 Cyber Verification Program（網路安全驗證計劃），讓經過驗證的安全專業人員能更廣泛地訪問其能力最強的模型。通過該計劃，驗證過的安全從業者可訪問 Claude Mythos 5.1、Opus 5.5 和 Sonnet 5.5，並配有面向防禦性工作的安全防護措施。同時新增層級，允許開展經授權的攻擊性安全工作，例如滲透測試與紅隊演練。
OpenAI 公開內部前沿模型數學成果與 Lean 形式化證明
OpenAI 於 2026 年 10 月 6 日發布由內部前沿模型產出的多項數學結果，以 GitHub 倉庫形式公開，併為其中許多證明提供 Lean 形式化驗證。倉庫同時給出 10 份模型推理摘要、以 ChatGPT Pro 用量折算的算力估算，以及嘗試題目數量的統計，平均每個結果約消耗相當於 3 小時 ChatGPT Pro 思考的算力。
Anthropic 新模型曝光：可推斷使用者未明說的目標
據 The Information 報導，Anthropic 正準備推出一款新模型，其推理與直覺判斷據稱超過現役所有商用 Claude 模型，並能從有限指令推斷出使用者未明說的目標。試用者舉例稱，讓它修復一個 Bug，它可能找出導致該 Bug 的一整類底層問題，並主動詢問是否一併修復；該模型的名稱、發布時間與評測成績均未公布。
Anthropic 反蒸餾防禦使資料竊取減少 90%–99%
Anthropic 公布新的反蒸餾措施，早期證據顯示蒸餾者獲取的資料量減少約 90%–99%。核心做法是讓 Claude 的推理更難提取：把推理先摘要化後，用 Claude Opus 4.8 完整推理訓練出的模型在 SWE-bench Verified 上得 80.4%，僅用摘要訓練則降到 71.8%。文中點名智譜 GLM-5.3 蒸餾美國模型的網路安全能力，並稱發往 Moonshot Kimi 的請求被秘密轉發給 Claude。