Anthropic 开源 FlashProve 实现 AI 模型溯源验证
Anthropic 发布开源工具 FlashProve，利用密码学技术让服务器数学证明响应来源，解决中间商偷换模型问题。该方案在普通 CPU 上即可快速验证，相比前代系统效率提升显著，且核心安全保证已通过 Lean 4 形式化证明。
报道正文
Rohan Paul (@rohanpaul_ai) · 2026-11-03 20
Anthropic 刚刚开源了 FlashProve，让你能够检查究竟是哪款 AI 模型生成了回复。
该功能可在普通 CPU 上运行。
例如，如果你通过经销商付费使用顶级 AI 模型，却无法验证对方是否悄悄替换为更便宜的模型。Anthropic 的 FlashProve 允许服务器以数学方式证明究竟是哪个模型给出了回答。
Anthropic 在 Meta 的 Llama 4 Maverick（一款拥有 4000 亿参数的大型开源模型）上进行了测试：单块 Nvidia H100 GPU 每秒可生成 110 个 token 的证明，每个证明大小约为 19MB。
普通 CPU 验证每个证明大约需要 17 秒；而此前唯一已知能对该模型进行证明的系统 VerInf，生成的证明高达 93.6GB，验证耗时近一天。
Claude 构建了该系统，由于其代码难以审计，因此其安全性保证已在 Lean 4（一种证明检查语言）中通过数学方式得到证明。
↳ 引用 @AnthropicAI (Anthropic): Anthropic 最新研究：在大语言模型的可证明推理方面取得进展。
在此，我们推出 FlashProve。基于成熟的密码学技术，FlashProve 允许开发者验证特定响应是否来自指定的 AI 模型。与以往用于此目的的开源方法相比，其效率显著提升。
这些证明具有广泛的应用场景。例如，它们可以增加攻击者劫持聊天的难度，或使安全评估人员能够验证他们正在测试的模型与服务客户的是同一款模型。
完整报告请见此处：
