Anthropic发布可证明推理原型FlashProve

事件综述根据 1 篇报道整理，11月3日更新

Anthropic 发布开源原型 FlashProve，用 zkSNARK 让用户在不接触模型权重的情况下验证回复确由所声明的模型生成。代码、Lean 证明和文档以 Apache 2.0 许可开放。 Anthropic 称，单张 H100 为 400B 模型生成证明约 110 tokens/秒；系统目前只能证明上下文不超过 1,024 tokens 的推理，且不对快速可执行代码提供形式化保证。 Anthropic 将该发布定位为中间进展，而非已完成的研究议程。

综述由模型根据报道生成，细节以各篇原文为准。