Anthropic FlashProve 解读：为何能查中转站换模型，却难以监管官方降级

Anthropic 开源大模型验钞机 FlashProve：为什么它能抓死中转站换模型，却管不了官方降智

Anthropic 开源的可证明推理原型 FlashProve 可用于事后核验模型计算，本文分析了它识别中转站换模型与监管官方服务降级的边界。材料称，其基于 Llama 4 Maverick 生成约 19 MB 的证明文件，用户在 24 核处理器上可用 17 秒验证，但生成证明的算力成本为 vLLM 普通推理的 70 到 95 倍。