Anthropic开源FlashProve可证明推理系统

发生了什么

Anthropic开源基于零知识密码学的可证明推理系统FlashProve，使模型提供商无需公开权重即可证明回答由指定模型生成。该系统已在4000亿参数模型Llama 4 Maverick上完成测试，单张H100 GPU生成证明，每1024 Token请求证明文件约19MB，用户端24线程CPU核验约需17秒。代码、验证器及形式化证明以Apache 2.0许可证开源。