Anthropic 开源大模型验真系统 FlashProve，可快速识别套壳模型

Anthropic 推出大模型可证明推理系统 FlashProve 并开源，基于 zkSNARK 技术，通过离线生成权重唯一承诺 ID、在线生成推理密码学证明、普通 CPU 端 17 秒即可验真的三步流程，无需获取权重或重跑模型，就能精准验证大模型输出是否由指定目标模型生成，杜绝偷换模型、篡改输出等套壳掉包行为，其安全性可抵御量子攻击。该系统仅用单张 H100 即可支持 4000 亿参数级 MoE 大模型运行，通过流式处理解决大显存占用难题。项目 95% 以上内容由 Claude 生成，依托 Lean4 完成全量数学形式化证明，仅需人类敲定顶层安全定义，即可保障完备性、知识可靠性、零知识三大核心特性，还专为智能体运行设计配套规范，开创了 AI 造系统、Lean 保真伪的全新工程范式。