Anthropic开源FlashProve防伪系统

发生了什么

新浪科技报道，Anthropic宣称在大型语言模型可验证推理取得新进展，并开源基于零知识密码学的FlashProve系统。其可在不公开模型权重的情况下证明回答由指定模型生成；已在400B混合专家模型上测试，单张H100 GPU每秒可生成约110个Token对应证明，每1024 Token请求证明文件约19MB。官方称已开源证明生成器、C++和Lean验证器及相关文档和形式化证明。