Anthropic开源FlashProve验证大模型推理
当前进展与背景
最新进展
最近报道 ·Anthropic 开源 FlashProve 原型，公布测试速度与算力开销数据。
查看最近报道与出处 →报道时间不等于事件生效时间；具体状态与适用对象请对照来源。
背景综述 · AI 整理
以下帮助了解背景；涉及安排、版本或状态时，以较新的具体报道为线索核对。
Anthropic 发布开源研究原型 FlashProve，用零知识证明验证 AI 回复是否由指定模型权重生成，用户无需获取权重或重新运行模型；研究参与者包括 StarkWare 联合创始人 Alessandro Chiesa，Anthropic 称 Claude 参与改进该系统。在 4000 亿参数的 Llama 4 Maverick 测试中，单张 H100 生成证明约每秒 110 个 token，但所需 GPU 时间约为普通推理的 70 至 95 倍；原型目前最多支持 1024 个 token 上下文，仍处于研究阶段。
综述整理于
报道时间线
沿着报道，了解事件的不同侧面。
- PANewsAnthropic 开源研究原型 FlashProve，用零知识证明验证大模型推理
PANews 11月3日消息，Anthropic 发布开源研究原型 FlashProve，利用零知识证明验证 AI 回复是否由指定模型权重生成，用户无需获取模型权重或重新运行模型，参与者包括 StarkWare 联合创始人 Alessandro Chiesa。在 4000 亿参数的 Llama 4 Maverick 测试中，单张 H100 生成证明的速度约为每秒 110 个 token，但所需 GPU 时间约为普通推理的 70 至 95 倍；原型目前支持最多 1024 个 token 的上下文，仍处于研究阶段。
本事件热度走势
当前热度 8.5·可比范围峰值 9.8（11月3日 21:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。