AI 報告 · Anthropic · 2026-11-02 · 部落格／評論
大型語言模型可證明推論的進展
原標題: Progress on provable inference for large language models
Anthropic 分享了以 zkSNARK 為基礎的密碼學證明在可驗證模型推論上的進展，主要是透過一套名為 FlashProve 的系統。這些證明讓模型提供者能夠對模型做出承諾，並證明每一則回應都來自該模型；文章指出，光從輸出內容很難查核這一點。根據節錄內容，以 Llama 4 Maverick（一個 400B 參數的混合專家模型）搭配 4 位元量化權重為例，單張 H100 GPU 產生證明的速度約為每秒 110 個 token，每個 1,024 個 token 的請求，其證明大小約為 19 MB。