Claude 给自己发"身份证"：Anthropic 用零知识证明斩断套壳灰产
掏顶配的钱却调缩水模型，曾是大模型供应链最隐秘的灰色地带。Anthropic 联手零知识证明学者开源 FlashProve。
验真分三步：上线前在单张 H100 花约 39 分钟，给权重生成"手印"ID 公开；每次对话后 GPU 生成约 19MB 证明；用户在普通 CPU 跑 cp_verify，17 秒判真假，不需权重与 GPU。底层 zkSNARK 每请求约 2000 个 sumcheck，安全只依赖哈希 BLAKE2。
AI 写代码、Lean 当判官，人类只守六条铁律
难点在算力：测试用 4000 亿参数的 Llama 4 Maverick，4-bit 权重达 232GB，单张 H100 显存仅 80GB。FlashProve 借 MoE——每 token 只激活约 170 亿参数，证明量只跟这 170 亿挂钩、省 95% 陪跑，路由藏进指示向量保密；权重放内存分段流式进 GPU 才吞下巨兽。更硬核的是仓库：95.2% 代码（约 398MB）是 Lean 4 数学证明，114 页论文与底层代码几乎全出自 Claude。
人类只跟 AI 敲定 6 条安全定义——完备性（误拒低于万亿分之一）、知识可靠性（造假概率低于 2 的 100 次方分之一）、零知识（反复核验不泄权重）。读不完海量推导，人类定公理、AI 推理、数学终审，成通往超级智能的安全契约。
via AI新闻资讯 (author: AI Base)
掏顶配的钱却调缩水模型，曾是大模型供应链最隐秘的灰色地带。Anthropic 联手零知识证明学者开源 FlashProve。
验真分三步：上线前在单张 H100 花约 39 分钟，给权重生成"手印"ID 公开；每次对话后 GPU 生成约 19MB 证明；用户在普通 CPU 跑 cp_verify，17 秒判真假，不需权重与 GPU。底层 zkSNARK 每请求约 2000 个 sumcheck，安全只依赖哈希 BLAKE2。
AI 写代码、Lean 当判官，人类只守六条铁律
难点在算力：测试用 4000 亿参数的 Llama 4 Maverick，4-bit 权重达 232GB，单张 H100 显存仅 80GB。FlashProve 借 MoE——每 token 只激活约 170 亿参数，证明量只跟这 170 亿挂钩、省 95% 陪跑，路由藏进指示向量保密；权重放内存分段流式进 GPU 才吞下巨兽。更硬核的是仓库：95.2% 代码（约 398MB）是 Lean 4 数学证明，114 页论文与底层代码几乎全出自 Claude。
人类只跟 AI 敲定 6 条安全定义——完备性（误拒低于万亿分之一）、知识可靠性（造假概率低于 2 的 100 次方分之一）、零知识（反复核验不泄权重）。读不完海量推导，人类定公理、AI 推理、数学终审，成通往超级智能的安全契约。
via AI新闻资讯 (author: AI Base)
