FlashProve 验证回答来自哪个模型

Anthropic 的 FlashProve 仓库公开了一套 AI 推理验证研究原型，尝试让服务端证明回答由指定模型计算产生，同时不公开模型权重。项目包含实现、实验材料及形式化证明相关内容。

仓库明确定位为研究产物，并非持续维护的生产服务。它验证的是计算与模型身份之间的关系，不是对回答事实准确性或安全性的证明；论文中的吞吐结果也限定于其硬件和批处理设置。

来源：GitHub · anthropics/FlashProve。