Anthropic 开源 FlashProve，验证模型来源不等于答案正确

Anthropic 11月2日公开 FlashProve 原型与 Apache 2.0 代码，研究如何在不公开权重的情况下，证明已检查的 token 符合已承诺整数模型的贪婪输出。精确比对模式的保证不涵盖未检查部分；模型承诺 ID 仍须来自可信来源。这并不证明答案正确或安全。

目前限特定整数模型、贪婪解码与最多1,024个 token 上下文；快速执行代码不保证与形式证明完全一致，存储库标示不维护。完整推理证明需要指定 Linux／H100 环境，计算仍有成本，第三方模型权重另受其许可条款约束。

这是研究代码发布，并非 Claude 网页、手机 App 或商用 API 功能开通。官方未列港澳台部署适用性或繁中／粤语界面，均待确认；没有新的订阅价格公告。实际发布时间未列，11月4日 UTC 核查，未安装或实测。