研究：Anthropic开源FlashProve，用零知识证明验证大模型推理

Anthropic 发布开源研究原型 FlashProve，利用零知识证明验证大模型回复是否由指定模型权重生成，同时无需公开模型权重。Anthropic 称，Claude 参与改进该系统；在 4000 亿参数的 Llama 4 Maverick 模型测试中，单张 H100 显卡生成证明的速度约为每秒 110 个 token（文本单位），但所需 GPU 时间为普通推理的约 70 至 95 倍。该原型目前支持最多 1024 个 token 的上下文，仍处于研究阶段。