Anthropic 开源密码学验证工具 FlashProve

Anthropic 开源了名为 FlashProve 的研究原型，用零知识证明结合 Lean 4 形式化数学验证，验证 AI 回答究竟来自哪款模型，以识别模型掺假。 其工作方式是：厂商先公开模型特征码，每次生成回答时附带计算凭据；用户拿到凭据后在自己的普通电脑上用 CPU 几秒内即可验证，无需获取模型权重。 报道称，该系统可支持 Llama 4 级别的大模型在单张英伟达 H100 显卡上完成全部证明流程。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。