Anthropic 开源 FlashProve，实现可验证的模型推理

Anthropic 发布开源研究原型库 FlashProve，可在不泄露模型权重的前提下，为零知识证明验证 AI 推理：证明某次请求确实由特定模型回答，并能为大模型推理输出生成可验证证明。该工具已在 4000 亿参数的 MoE 模型 Llama 4 Maverick 上实测。博主指出，可验证推理的成本可达普通推理的 165 倍。

2026-11-03 ~ 2026-11-03 · 2 条相关