每天听简报，了解最新科技、AI、软件资讯
为了证明大模型给出的回答确实来自指定模型且未被偷换，Anthropic 开源了零知识推理系统 FlashProve。 它能在完全隐藏模型内部权重的前提下，为每次生成附带不可伪造的密码学证明，防止路由中转篡改或偷换廉价模型。 在单张 H100 显卡上，四千亿参数模型的证明生成速度超过每秒一百个词元，体积仅十九兆。 虽然开销相当于普通推理的七十到九十倍，但比过去同类方案快了几个数量级，核心逻辑还经过了严谨的形式化数学验证。
进度保存在本设备 · 登录同步