Anthropic 在 11 月 4 日开源 FlashProve，把可验证推理这一此前偏学术的方向带到了工程实践前沿。其核心诉求很直接：当用户通过 API 调用一个宣称的模型时，如何确信返回结果确实由该模型、按既定权重计算得出，而非被中途替换或降级。
FlashProve 的思路是为推理过程附加密码学证明，使调用方可以在不重复执行全部计算的前提下，校验输出的真实性与完整性。这对模型即服务（MaaS）模式尤为关键，企业把核心业务交给第三方推理端点时，往往难以确认底层是否偷偷换了更小、更便宜的模型。
从产业视角看，可验证推理有望成为 AI 供应链信任的基础设施。随着开源与闭源模型大量进入生产系统，证明模型即其所称的能力，将帮助金融、医疗等强监管行业在满足审计要求的同时放心采用外部推理服务，也为模型提供方建立可信背书。