Anthropic 发布 FlashProve，让用户核验回答出自哪个模型

Anthropic 发布了可验证推理原型 FlashProve。模型提供方可以为一次回答生成密码学证明，让接收方检查回答是否确由事先指定的模型产生，而无需公开模型权重。团队使用 4 位量化的 Llama 4 Maverick 进行测试。单张 H100 显卡每秒可为约 110 个 token 生成证明，一次 1,024 个 token 的请求对应约 19 MB 的证明。研究人员称，生成证明仍需普通推理约 70 至 95 倍的 GPU 时间。