掏顶配的钱却调缩水模型，曾是大模型供应链最隐秘的灰色地带。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 推理、数学终审，成通往超级智能的安全契约。
Anthropic正开发开源验证系统FlashProve，旨在解决用户收到的AI回答是否真由所宣称模型生成的问题。公司周二博客称，其“可证明推理”将用密码学为每条输出提供数学保证，确认出自指定模型，类似加密邮件签名验证发件人。该系统可防止甲模型伪装成乙模型，堵住成本作弊暗门，并揭穿“注水”成绩单，直击行业长期潜规则。
人工智能开源生态繁荣催生“套壳模型”乱象：部分开发者将开源模型稍作包装、偷换权重或篡改输出，便宣称自研新模型。为从根源打击乱象，AI明星企业Anthropic推出并开源大模型可证明推理系统FlashProve。该系统依托底层密码学技术，可精准验证模型真实身份，遏制套壳造假。
Anthropic Claude Code产品负责人Cat Wu已离职。她在X称周五是最后一天，未透露原因及去向。她曾负责Claude Code和Cowork。此前在Scale AI、Dagster任工程师，后任职Index Ventures，2024年8月加入Anthropic，先做研究方向产品经理，后参与Claude Code及Cowork。
今年10月，OpenAI高管会议室被偷放录音设备。美司法部10月13日通报，涉案者为35岁沙特公民、时任OpenAI工程师阿尔福赞，设备藏于卫生纸中。多名前员工并不意外，称公司安全积弊已久：早在2022年底ChatGPT问世前，就有人警告安全管理问题，却多年未被重视。路透社援引5名知情人士披露。
2026年11月3日，Anthropic宣布推出开源系统FlashProve，为AI模型身份验证与输出真实性提供密码学层面的数学保证，致力于实现“可验证推理”。它可防止服务提供商秘密替换模型，如以低成本模型冒充高性能模型或夸大性能，也能验证第三方对复杂任务执行情况的声明。技术实现部分原文未完整披露。
关注 “悠AI” 更多干货技巧行业动态
相关文章
