Anthropic开源可证明推理系统FlashProve，CPU核验约17秒可抓模型调包

Anthropic开源大模型可证明推理系统FlashProve，服务方可为模型回答生成密码学证明，用户无需模型权重即可在CPU上核验输出是否来自指定模型。在Llama 4 Maverick测试中，单张H100生成证明，单个请求证明文件约19MB，24线程CPU核验约需17秒。