Anthropic发布“可证明推理”研究：给AI回复配一张可核验的“小票”
作者：林序
Anthropic 11月3日发布大模型“可证明推理”研究并开源原型系统 FlashProve，用密码学方法让开发者不接触模型权重就能验证回复出自指定模型；官方称生成证明的算力开销约为正常推理的70至95倍。
Anthropic 11月3日发布大模型“可证明推理”（provable inference）研究，并开源原型系统 FlashProve。它用密码学方法给 AI 回复附上一份凭证，让开发者在不接触模型权重的情况下，验证一条回复确实出自指定的那个模型 。
原理像给回复开“小票”。服务商随答复印出一份很短的技术证明，用户拿普通 CPU 就能在几十秒内核对，而证明不会泄露模型的权重和内部结构 。
官方给的数据是：针对 4000 亿参数的 Llama 4 Maverick（4 位量化），单块 H100 每秒约能生成 110 个 token 的证明，每个 1024-token 请求的证明约 19MB；代价是生成证明的 GPU 耗时约为正常推理的 70 至 95 倍 。代码、Lean 证明和文档以 Apache 2.0 开源。
限制也得说清楚：证明只回答“这句话是哪个模型说的”，不担保内容为真。Anthropic 自称这是阶段性进展，不是完成的研究议程，欢迎外界接手改进 。
讨论热度不小。X 用户 ToddHemminger 在公告满 72 小时后做了复盘，称原帖获约 69.7 万浏览、649 条回复，反应整体偏正面、技术性很强；但他实际只读了 50 条回复和 25 条引用帖，是抽样，不是完整统计 。
转载说明
本文根据以下公开资料整理，原文及配图出处见下方。
0
评论 0
还没有评论，来抢沙发。