Anthropic 开源 FlashProve：用零知识证明验证 AI 回答来自哪个模型

Anthropic 开源了研究原型 FlashProve，用于验证 AI 回答是否真的来自宣称的模型。该工具采用零知识证明结合 Lean 4 形式化数学验证，厂商预先生成计算凭据，用户在普通家用电脑 CPU 上几秒钟内即可完成核对。系统能支持 Llama 4 级别的大模型，证明流程在单张英伟达 H100 上跑完，且模型权重等核心参数完全隐藏。