新智元· ASI启示录·· 7 小时前精选AI 评分68
Anthropic 开源可证明推理系统 FlashProve，17 秒验证大模型输出真伪
Anthropic亲手终结「套壳AI」！17秒扒下假模型头套，验身速度快5000倍
AI 导读
Anthropic 联合零知识证明学者开源密码学验真系统 FlashProve，代码、Lean 证明与技术文档均以 Apache 2.0 协议发布，仓库地址为 https://github.com/anthropics/FlashProve。
推荐理由
原文拆解了验真三步流程与流式证明的工程取舍，读者可据此理解不交出权重也能验模型身份的可行路径。
来源：新智元 · mp.weixin.qq.com