Anthropic·· 3 天前精选推荐指数60
Anthropic 发布 FlashProve 可验证推理原型，单张 H100 上 110 tokens/s 生成证明
Progress on provable inference for large language models
AI 导读
Anthropic 发布开源可验证推理原型 FlashProve，用 zkSNARK 证明响应确由所承诺权重的模型生成。
推荐理由
Anthropic 公开 FlashProve 原型与 Lean 形式化证明，读者可据此了解可验证推理在 400B MoE 模型上的实际开销与当前局限。
来源：Anthropic · anthropic.com