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

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

- 来源：Computing Life · Share · 鸭哥调研
- 发布时间：2026-11-08T00:00:00.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/sdnci3o6qi3tem2nnb0pmkv7y
- 原文：https://yage.ai/share/anthropic-flashprove-provable-inference-20261108.html

## 摘要

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