Anthropic 开源 FlashProve：普通 CPU 可验证回复由哪个模型生成
Anthropic 开源了 FlashProve，普通 CPU 十几秒就能验证回复到底出自哪个模型，比之前的 VerInf 快太多，转售商糊弄不了人了。
Anthropic 开源了 FlashProve，可让服务器以数学方式证明某条回复由哪个模型生成，防止转售商用便宜模型冒充付费模型。在 400B 参数的 Llama 4 Maverick 上，单张 H100 以 110 tokens/秒生成约 19MB 的证明，普通 CPU 约 17 秒即可完成验证。此前唯一的同类系统 VerInf 需生成 93.6GB 证明、验证耗时近一天。系统的安全保证用 Lean 4 形式化证明。
Anthropic just open-sourced FlashProve, which lets you check which AI model actually wrote a reply
checkable on an ordinary CPU.
e.g. if you pay for a top AI model through a reseller, you can’t check whether it quietly served a cheaper one. Anthropic’s FlashProve lets the server prove mathematically which model answered.
Anthropic tested it on Meta’s Llama 4 Maverick, a large 400B-parameter open model, where a single Nvidia H100 GPU produced proofs at 110 tokens/second, each about 19MB.
A regular CPU checks each proof in about 17 seconds, while VerInf, the only earlier system known to prove this model, made 93.6GB proofs that took almost a day to check.
Claude built the system, and because its code is hard to audit, the security guarantees are mathematically proved in Lean 4, a proof-checking language,
