Anthropic 发布可验证推理系统 FlashProve

Anthropic 发布了可验证推理系统 FlashProve，并开源了代码、Lean 形式化验证及文档。它基于 zkSNARK 密码学技术，能为大语言模型的回复生成密码学证明，验证回答确实由指定模型产生，同时不泄露模型权重。 性能方面，在 400B 参数的 Llama 4 Maverick 上，单块 H100 GPU 可实现约 110 token/秒的证明生成速度，证明大小约 19MB。Anthropic 称其性能较此前开源系统提升数个数量级，接近原生推理速度的 70 至 95 倍。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。