Anthropic开源可验证推理原型FlashProve

Anthropic 发布可验证推理研究进展，并开源原型系统 FlashProve，用 zkSNARK 证明模型输出确实来自所承诺的权重。代码、Lean 证明和文档以 Apache 2.0 许可证发布。 Anthropic 称这是中间研究进展而非完整研究议程，该版本为研究原型，目前只能对最长 1,024 token 的上下文做推理证明，并存在技术限制。

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

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