Anthropic亲手终结「套壳AI」！17秒扒下假模型头套

掏的是顶配旗舰的钱，调的是转售路由的API，后台真正干活的，却可能是个缩水的小模型。

这种「挂羊头卖狗肉」的暗箱操作，曾是整个大模型API供应链最隐秘的灰色地带。

今天，这条暗箱链条被一剑斩断！

就在刚刚，Anthropic联手零知识证明祖师爷级学者，公布大模型「可证明推理」重磅突破，正式开源密码学验真系统FlashProve！

从此，开发者无需信任任何中心化机构，也不用服务商交出半行权重代码。大模型每生成一条回答，都会被强制钉上一张数学级「出生证明」。

哪怕手头只有一台普通家用CPU，跑上17秒，就能用纯数学方式精准验出每一个Token是不是目标模型「亲生的」，任何偷换模型、半路篡改的把戏都将当场现形！

更绝的是，这次打造出FlashProve的核心主力，竟是Claude自己。

想要验明真伪，传统路子只有拿到权重自己重跑一遍，可前沿模型的权重是各家的命根子，普通人也根本养不起4000亿参数模型的机房。

任何用户或审计机构拿到回答后，在普通CPU上运行验证程序cp_verify，17秒就能拿到「真」或「假」的判决，全程既不要权重，也不要GPU。

靠着这种「吃完一段、消化一段」的流式接力，单张80GB显卡硬是把232 GB的庞然大物啃了下来。

整个仓库里，C++代码只占1.4%，Python占1.3%，CUDA占0.9%，而高达95.2%的代码（足足398MB）全部是用Lean 4数学证明语言写成的。

人类学者在这项工程里只负责指明方向，从这篇114页的密码学论文、23页技术报告，到C++与CUDA底层代码，再到近400MB的Lean形式化证明，几乎全部出自Claude之手。