研究突破
Anthropic 開源 FlashProve：以 zkSNARK 證明大型語言模型的推論，實現可驗證的推論
Anthropic 發布開放原始碼系統 FlashProve，利用零知識簡潔論證（zkSNARK）讓使用者能驗證模型回應確實來自所宣稱的模型，並以 Lean 形式化驗證安全保證；在 400B 參數的 MoE 模型上可於單張 H100 以約每秒 110 token 產生證明，為 AI 監管、路由驗證與安全審計提供工具基礎。
Anthropic 發布開放原始碼系統 FlashProve，利用零知識簡潔論證（zkSNARK）讓使用者能驗證模型回應確實來自所宣稱的模型，並以 Lean 形式化驗證安全保證；在 400B 參數的 MoE 模型上可於單張 H100 以約每秒 110 token 產生證明，為 AI 監管、路由驗證與安全審計提供工具基礎。