原题：Progress on provable inference for large language models
Anthropic 前沿红队发布可证明推理（provable inference）研究进展，并开源原型 FlashProve：模型提供方随回答附上一份简短的密码学证明（zkSNARK），用户可以验证回答确实由承诺的模型生成，证明本身不泄露权重。Anthropic 称这可用于防止路由服务为省钱偷换模型或篡改输出，也可帮助证明合规；The Decoder 称该系统仍有明显局限。
为什么重要 可防止中转服务偷换便宜模型，也可用于证明合规；The Decoder 称仍有明显局限。
可信度：高可信 · 来源 Anthropic 等 2 家（含官方） · 事件时间 11-05 01:17（北京时间）