Anthropic开源FlashProve验证模型回答来源

Anthropic开源了可验证推理系统FlashProve，让模型提供商在不公开权重的情况下，用零知识证明证实某个回答确由指定模型生成。已开源的内容包括证明生成器、C++和Lean验证器，以及技术文档和形式化证明。 在400B参数的Llama 4 Maverick上测试，单张NVIDIA H100每秒可生成约110个Token的推理证明，每1024 Token请求的证明文件约19 MB。但生成证明所需的GPU时间约为普通vLLM推理的70—95倍。 目前实验仅覆盖整数运算版本的模型和Greedy Decoding，浮点计算、随机采样等推理方式尚需扩展；证明规模也只展示到最多1024 Token的上下文，长上下文、大规模Agent工作流和多轮交互下的高效证明生成与验证仍未解决。

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

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