AI 说自己是 GPT，你怎么证明它没撒谎？单卡 H100 每秒 110 个 Token！Anthropic 让大模型输出可被密码学验证，采样和

大白话以前你问 AI 一个问题，只能信它说自己是哪个模型。Anthropic 新出的 FlashProve 换了个思路：给模型的回答配一张「密码学收据」，验证方不用 GPU、也看不到权重，就能确认这句话确实由某个已承诺的模型算出来。它跑在 Llama 4 Maverick 上，单张 H100 每秒能出 110 个 Token，一份证明约 18.78 MB。代价是：只证明整数版模型在贪心解码下的结果，采样实现可能对不上，而且只覆盖 1024 个上下文 Token。

对你意味着对做 AI 应用、需要向客户或监管证明「背后是哪个模型」的团队来说，这是从演示走向可落地的一步；但别把它当成万能验真。