Anthropic 开源 FlashProve：用密码学证明「这话是哪个模型写的」

TechCrunch 11 月 3 日报道：Anthropic 发布 FlashProve 研究与开源代码，目标是「可证明推理」——用密码学方式证明某段输出确实来自声称的那台模型，同时不公开权重。应用场景包括：路由服务偷偷换成更便宜模型、或第三方声称「用前沿模型扫过漏洞/审过商业计划」时的核验。

做法是实验室为模型发布指纹，输出附上可本地验证的紧凑证明。Kill The AI 等汇总称：在 Llama 4 Maverick 上单块 H100 约 110 token/s 出证明，开销约为跑模型的 70–95 倍，且目前限制约 1024 token 上下文与最可能 token 采样。Anthropic 称这是中间进展，无意立刻部署。

对出海 API 聚合、评测报告、安全审计卖方，这指向未来的信任基建：客户会问「你说用的是哪一版模型，有没有证明」。

建议：若你卖「某某大模型扫过」类服务，先把模型版本、日志与合同写清楚；关注 FlashProve 后续与监管对「模型身份」的要求。以 TechCrunch 与 Anthropic 研究帖为准。