大模型之家讯 11月5日，Anthropic公布并开源大模型“可证明推理”系统FlashProve，直指API供应链“买旗舰、后台换小模型”的灰色地带，代码、Lean证明与文档均以Apache 2.0协议开放。模型上线前，服务商在单张H100上花约39分钟用零知识编码生成权重承诺ID并公开；每处理一次请求，GPU顺带生成约19MB密码学证明，证实输出确由该指纹对应模型算出；普通CPU运行cp_verify，17秒即得“真/假”判定，全程无需权重与GPU，底层为zkSNARK。Anthropic称，该机制针对更强模型顶替获批弱模型、伪装小模型以规避监控的极端场景。
