Anthropic开源可证明推理系统FlashProve

Anthropic 开源了大模型可证明推理系统 FlashProve，技术报告于 11 月 2 日发布。服务商可为模型回答生成密码学证明，用户无需模型权重，即可在 CPU 上核验输出是否来自指定模型；代码、Lean 证明和文档均以 Apache 2.0 许可证开源。 测试中，该系统在 Llama 4 Maverick 上单请求证明文件约 19MB，用户端用 24 线程 CPU 核验约需 17 秒、无需 GPU；但生成证明的 GPU 开销约为普通推理的 70—95 倍。FlashProve 目前仍是需要服务方配合的研究原型，支持的上下文最长为 1024 个 Token。

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

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