Anthropic开源可验证推理原型FlashProve

Anthropic 发布开源研究原型 FlashProve，用于为模型推理生成可验证证明。据其介绍，该系统能在单张 H100 上为 400B 参数的 Llama 4 Maverick 生成推理证明，速度约 110 tokens/秒，每 1,024 token 请求的证明约 19 MB；代码、Lean 证明与文档以 Apache 2.0 许可发布。 Anthropic 称该原型目前只覆盖最长 1,024 token 的上下文，证明针对贪心解码下的整数模型，且不对快速可执行代码提供形式化保证。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。