ProductsMulti-source
Anthropic 开源 FlashProve：用零知识证明验证 AI 回答来自哪个模型
Why we picked it
担心中转站偷偷换成劣质模型？Anthropic 开源的这个验证工具，用户自己电脑上几秒就能查出回答是不是正版模型出的。
Anthropic 开源了研究原型 FlashProve，用于验证 AI 回答是否真的来自宣称的模型。该工具采用零知识证明结合 Lean 4 形式化数学验证，厂商预先生成计算凭据，用户在普通家用电脑 CPU 上几秒钟内即可完成核对。系统能支持 Llama 4 级别的大模型，证明流程在单张英伟达 H100 上跑完，且模型权重等核心参数完全隐藏。
Original · Gorden Sun
A社竟然出了识别掺假模型的工具
FlashProve：通过密码学方法证明AI回答究竟来自哪款模型。
普通用户使用AI时（尤其是中转站），完全无法确认屏幕上的回答究竟来自宣传的大模型，还是被服务商偷偷换成了低成本的劣质模型，甚至可能遭遇中间人篡改。
Anthropic开源了FlashProve研究原型，采用零知识证明技术结合Lean 4形式化数学验证。厂商在提供服务前先公开一串用于绑定的特征码，每次生成回答时让显卡附带生成一份计算凭据；用户拿到凭据后，在自己的普通电脑上运行验证程序即可核对。
最终达到的效果是，用户不需要拿到模型权重，只用普通家用电脑的CPU，几秒钟内就能确认这次回答确实来自指定的正版模型，造假几乎不可能成功；同时，AI厂商的核心参数完全隐藏，商业机密不会外泄。该系统能支持Llama 4级别的大模型，在单张英伟达H100显卡上跑完全部证明流程。
Github：https://t.co/ayJcAZdUBg
