Anthropic 开源 FlashProve：无需暴露权重即可验证模型推理真实性

Anthropic 开源研究项目 FlashProve，允许 AI 提供商在不公开模型权重的前提下，向用户证明某项请求确实由其声明的模型生成。验证者只需在普通 CPU 上运行脚本，即可在数秒内完成校验；该系统在单张 NVIDIA H100 上支持完整尺寸 Llama 4 Maverick 模型的证明生成，协议健全性已在 Lean 4 中完成形式化证明，并针对编码智能体优化了构建与测试流程。