凌晨三点，有人拿着回答去验货。 验货单上写着：这话，确实是这个模型说的。 Anthropic 11 月 2 日发布了 FlashProve，一个开源的可证明… · @chenYijl · TwKit

@chenYijl

凌晨三点，有人拿着回答去验货。 验货单上写着：这话，确实是这个模型说的。 Anthropic 11 月 2 日发布了 FlashProve，一个开源的可证明推理原型：用零知识证明给模型的回答开出生证明，能证明这段话出自某套公开承诺过的权重，又不用把权重本身亮出来。 实测是在 4000 亿参数的 Llama 4 Maverick 上跑的：一张 H100 每秒能生成约 110 个 token 的证明，一次 1024 个 token 的请求，证明文件约 19MB，验证只要 17 秒，普通 CPU 就够，不用 GPU。 代价也写在明处：出这张证明，要花掉正常推理 70 到 95 倍的 GPU 时间。 往深了看，模型终于能自证清白了：以后再有人问“这回答真是你写的吗”，不用靠嘴，靠数学。 顺手一提，这套证明系统里还有 Claude 自己改过的几处，等于它先给自己验了一遍货。 但证明只管到 1024 个 token 的上下文，模型架构本身也藏不住，离能给每次聊天都开证明还远得很。 你上次怀疑一段回答根本不是它写的，是什么时候？

曝光 188 · 评论 2 · 点赞 3 · 书签 0