你调用 AI API 时，怎么确认服务商真的用了它声称的模型，而不是悄悄换了一个？ Anthropic 11 月 2 日公开了 FlashProve：一种用… · @AChaiNotes · TwKit

@AChaiNotes

你调用 AI API 时，怎么确认服务商真的用了它声称的模型，而不是悄悄换了一个？ Anthropic 11 月 2 日公开了 FlashProve：一种用密码学证明模型推理来源的研究原型。服务商先对模型权重作出承诺，随后提供可验证的证明，让用户在不拿到模型权重的情况下，检查输出是否来自约定的模型。 官方报告的测试条件很具体：在 4-bit 量化的 Llama 4 Maverick（400B MoE）上，单张 H100 每秒生成约 110 个 token 对应的证明；每 1024 token 请求的证明文件约 19MB。代价也很明显：证明过程消耗的 GPU 时间约为普通 vLLM 推理的 70～95 倍。 所以这不是“现在所有 API 都能免费验真”。它仍是研究原型，快速验证器与 Lean 形式化实现之间也尚无完整一致性保证。 我更看好它先用于审计和抽查：如果将来模型路由商、测评机构能提供可验证凭据，“是不是被换了便宜模型”就有机会从猜测变成技术核查。

曝光 80 · 评论 1 · 点赞 1 · 书签 0