Anthropic 发布 FlashProve：用 zkSNARK 实现可验证的大模型推理

Anthropic 发布可验证推理系统 FlashProve，开源协议说明、可执行代码与 Lean 形式化证明（Apache 2.0），让用户在不接触权重、算力有限的情况下验证响应确由指定模型生成。