Anthropic 让 Claude 自研芯片股价跌
零知识证明：给答案发张防伪身份证
据 TechCrunch、机器之心和腾讯研究院 11 月 3 日、11 月 5 日报道，Anthropic 开源了一个叫 FlashProve 的可证明推理系统，干的活儿挺巧：为模型输出生成一份密码学证明，从数学上保证「这段回答确实出自你承诺的那个模型」。打个比方，这就像给每封邮件加 DKIM 签名——哪怕运营模型的实验室自己，也没法偷偷把贵模型换成便宜模型来糊弄你。模型身份这事儿，第一次有了可验证的凭证。咱干安全的老炮儿一眼就看出门道：防的是「以次充好」这种最阴的套路。
防的是偷梁换柱，不是证内容对错
aidigest 的梳理点得很透：这套系统的价值在「防供应链造假」。云服务或者 API 厂商，理论上为了省成本，可能在后台把承诺的贵模型悄悄换成便宜货，用户根本察觉不到。FlashProve 要治的就是这个——你拿到回答的同时拿到一份证明，能验证它确实来自那个指定模型。不过咱得说清：它只证明「来源」，不证明「回答对不对」。防的是以次充好，不是替模型担保正确性。这区分很重要，别一听「可证明」就以为答案也保真了。
实测：H100 约 110 Token/s，每份证明 18.78MB
披露的数据挺具体：在 4000 亿参数的 MoE 模型 Llama 4 Maverick 上，单张 H100 的证明吞吐大约 110 Token/s，每份证明约 18.78MB，CPU 验证约 17 秒。代价也不小——证明耗的 GPU 时间约为 vLLM 推理的 70 到 95 倍。而且目前只支持 1024 Token 上下文、整数模型和贪婪解码。咱干性能的都清楚，这开销现阶段偏高，离「每个回答都附证明」还远，但作为审计选项已经够用了。等硬件更便宜、算法再优化，成本这道坎迟早能迈过去。
溯源这股风，国内外一起刮
FlashProve 不是孤例，可验证、可溯源这股风，国内外正一块儿刮。欧盟 AI Act 第 50 条把透明度要求立成了法规，国内的《AI 生成合成内容标识办法》也已施行，连 xAI 都预告给 Grok API 加隐形水印。趋势只剩一句大白话：不做溯源的模型，以后进不了合规市场。对内容创作者来说，生成物料时留好「隐形签名」，比堆炫技更耐打。Anthropic 这步是把「模型身份可验」这件大事，从口号推进到了能跑的代码，方向跟整个监管节奏是合拍的。
老炮点评：身份可验，成了采购新门槛
咱干企业安全的老炮儿一眼就看出门道：模型身份可验证，往后八成要变成金融、医疗这类必须审计的场景里，采购 AI API 的一项硬合规要求。以前你跟供应商签合同，写「我用的是某某旗舰模型」，全凭对方良心；以后可以要一份密码学证明当凭据。当然，成本、上下文长度和支持范围这几个坎不迈过去，它还只是个示范级方案。但方向错不了——AI 进高合规场景，先得证明「你是你」。这跟当年系统间互信靠证书，是一个理儿。
再多说一句：可验证推理这东西，短期看是给大客户吃定心丸，长期看可能是 AI 服务进金融、医疗的门票。但咱也泼冷水，证明开销目前是推理的几十倍，离每个回答都附证明还早。先在有审计刚需的场景里小范围用起来，比一上来全面铺开实在。
