掏旗舰的钱，跑便宜模型：17秒验明正身，AI圈这个公开的秘密藏不住了

11月2日，Anthropic开源了一个叫FlashProve的东西。一句话说清它能干什么：以后你可以用数学证明，验证这次回答到底是不是你买的那个模型给的。
一台普通CPU，17秒，不用碰权重。

为什么值得说？这几年一直有个没人能证实的怀疑。
你在第三方中转站、聚合平台调API，界面写着旗舰模型。可请求要过好几层转发，某一层为了省成本，完全可能把你的活转给便宜模型。你试两句觉得还行，跑三天发现答非所问，还带股翻译腔。
你怀疑，但你证明不了。

以前确实没辙。问模型"你是谁"，这句话本身也是它生成的；想验证只能拿权重自己重跑，可前沿模型权重是各家命根子，4000亿参数的机房你也养不起。
大家只能信承诺。

FlashProve把这件事拆成了三步。
第一步，离线按手印。模型上线前，服务商在一张H100上花约39分钟，给整套权重生成一串唯一承诺并公开。它像数字指纹，改一个参数就对不上，但外界没法反推出权重。
第二步，在线开证明。每处理完一次请求，GPU顺手生成一份约19MB的密码学证明，证实这段输出确实出自那个按过手印的模型。
第三步，客户端验真。拿到回答后，在普通CPU上跑24线程，17秒出结果，全程不碰权重，也不需要GPU。

实测用的是Meta的Llama 4 Maverick，4000亿参数混合专家模型。单张H100每秒能生成约110个token的证明。想造假蒙混过关，概率低到2的100次方分之一，数学上等于不可能。

最离谱的在后面。这个项目95.2%的代码、近400MB，是Lean 4形式化数学证明，几乎全由Claude自己写。人类只跟它敲定了6条顶层安全定义，剩下的上亿行推导交给Lean内核逐行核对。
AI给自己造了一把锁，用来验AI。

冷水得泼。生成证明要花的GPU时间是普通推理的72到94倍，所以它现在是研究原型，不是产品；只支持1024个token上下文、整数权重和贪心解码；没经过独立安全审计；Anthropic也没说要在Claude上用。
更关键的是，它证明的是"来源"，不是"对错"。模型胡说八道，证明照样能通过。

但这个问题已经大到必须有人管。OpenAI定了规矩：11月20日起，模型路由器和AI网关要经它批准。能逼出这条规定，说明"挂羊头卖狗肉"早就不是猜疑。

AI时代最贵的可能不是算力，是你连自己买的是什么都无法验证。
你觉得自己用过的API，被悄悄换过模型吗？