Anthropic 开源 FlashProve：用密码学方法验证 AI 回答来源
A社竟然出了识别掺假模型的工具 FlashProve：通过密码学方法证明AI回答究竟来自哪款模型。 普通用户使用AI时（尤其是中转站），完全无法确认屏幕上的回答究竟来...
AI 导读
作者介绍 Anthropic 开源的 FlashProve 研究原型，通过密码学方法证明 AI 回答究竟来自哪款模型。工具采用零知识证明结合 Lean 4 形式化数学验证，厂商先公开特征码，每次生成回答附带计算凭据，用户用普通电脑 CPU 几秒内即可验证，无需模型权重；系统支持 Llama 4 级别模型在单张英伟达 H100 上完成全部证明流程。