可验证推理:Anthropic 开源研究原型 FlashProve,用零知识证明验证回复是否由指定模型权重生成,Claude 参与改进;目前上下文上限约 1024 token,仍处研究阶段。更该盯证明生成成本能不能压到可商用、哪些 Agent/支付场景会先要求「模型身份可证」,以及开源后第三方复现进度。别把原型直接当成生产级鉴权,也别忽略上下文长度仍是硬瓶颈。