Buzzing HN · 中文精选· ltononro·· 8 小时前精选AI 评分71
Anthropic 发布大模型可证明推理系统 FlashProve，400B MoE 证明速度达 110 tokens/s
大型语言模型可证明推理方面的进展
AI 导读
Anthropic 联合多所高校推出大语言模型可证明推理原型系统 FlashProve，通过 zkSNARK 密码学证明在隐藏权重的前提下验证输出确实来自指定模型。
推荐理由
该成果将大模型零知识证明开销降至常规推理的百倍以内，为监管审计与模型防篡改提供了纯软件层面的验证方案。
来源：Buzzing HN · 中文精选 · anthropic.com