Anthropic 开源 FlashProve:零知识证明验证 AI 推理,已在 400B 模型实测

yenkel · x · 2026-11-03

Anthropic 开源了 FlashProve——一个用于「可证明推理」的研究原型库,能证明某次请求确实由某个特定模型回答,而不泄露模型权重。该项目在 4000 亿参数的 MoE 模型 Llama 4 Maverick 上完成了测试。

代码与博文已公开(GitHub 仓库标注为 research artifact,Apache 2.0 协议,不再维护、不接受贡献)。这一技术若成熟,可用于模型输出的可验证性与安全审计场景;yenkel 评价称,如果能传递 prompts 与 proofs,可能催生一些有趣的安全应用场景。