Anthropic开源FlashProve可证明推理系统

Anthropic 开源了大模型可证明推理系统 FlashProve：服务方可以为模型的回答生成密码学证明，用户无需获取模型权重，就能在 CPU 上核验输出是否来自指定模型，据智东西报道，核验耗时约 17 秒。详细技术报告于 11 月 2 日发布。 FlashProve 目前仍是需要服务方配合的研究原型。据智东西报道，生成证明的 GPU 时间开销约为普通推理的 70—95 倍，支持的上下文最长为 1024 个 Token，而前沿模型的窗口通常达到数十万乃至数百万 Token，长对话等场景仍难以覆盖。 在安全保证方面，高性能可执行代码尚未获得与 Lean 协议同等的形式化安全保证；批量处理请求时的零知识性也尚未完成形式化证明。

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

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