人工智能开源生态的繁荣在带来便利的同时，也催生了层出不穷的“套壳模型”现象——部分开发者或机构将开源模型稍作包装，甚至偷换权重、篡改输出，便对外宣称是自主研发的全新模型。为了从根源上打击这种行业乱象，人工智能明星企业Anthropic近日正式推出并开源了全新的大模型可证明推理系统 ——FlashProve。该系统凭借底层的密码学技术，实现了对模型真实身份的精准验真，为大模型生态的透明化与合规化树立了全新标杆。
技术硬核解析:基于 zkSNARK 的三步验真闭环
作为一款主打“验真”的系统，FlashProve的核心技术路线摒弃了传统需要获取庞大模型权重或重新完整跑一遍模型的繁琐流程，而是创新性地引入了零知识证明 zkSNARK 技术。整个验证过程精简为高效的三步闭环:
离线生成权重唯一承诺 ID: 在模型部署前，系统会为其生成一个独特的密码学承诺标识（Commitment ID），作为该模型不可篡改的“数字身份证”。
在线生成推理密码学证明: 当大模型在云端处理用户请求并输出结果时，系统会同步生成对应的密码学推理证明。
普通 CPU 端17秒快速验真: 验证方无需调取模型的高昂权重，也无需重复运行模型，仅需在一台普通的 CPU 终端上耗时17秒，就能对密码学证明进行完整解析。
这一突破性的设计，不仅能100% 精准验证大模型的输出是否确实由指定的 condamned 目标模型生成，还能彻底杜绝任何偷换模型、篡改输出等投机倒把的套壳掉包行为。更值得一提的是，该系统的底层安全性设计经过严格推演，具备能够抵御未来量子攻击的强悍防护能力。
软硬件效率突破:单张 H100支撑4000亿参数 MoE
在算力开销与硬件部署方面，FlashProve同样展现出了极高的工程实用价值。面对动辄数千亿参数的现代混合专家模型（MoE），系统通过精妙的流式处理架构，成功化解了以往验证过程中面临的巨大显存占用难题。
测试数据显示，该系统仅凭单张 H100显卡，就足以支撑高达4000亿参数规模的 MoE 大模型流畅运行与实时验真，使得高性能的安全验证不再高不可攀。
AI 造系统、Lean 保真伪:开创全新工程范式
除了惊艳的技术参数，FlashProve的研发过程本身也堪称人工智能辅助工程的里程碑。项目整体代码中95% 以上的内容均由Claude独立生成，并依托Lean4形式化数学验证工具完成了全量的数学形式化证明。
在这套全新的工程范式中，人类研究员仅需敲定顶层的安全定义，其余繁琐的代码实现与逻辑推演均由 AI 自动完成，从而确保了系统在完备性、知识可靠性以及零知识这三大核心特性上的绝对可靠。此外，该系统还针对智能体（Agent）的实际运行需求，量身设计了一套配套的安全操作规范。
随着FlashProve的全面开源，行业内长期存在的“套壳 AI”将失去生存空间。它不仅为开发者和企业提供了一把高效的打假利器，也通过前沿密码学与 AI 的深度融合，开启了人工智能可信验证的全新时代。
Anthropic正开发开源验证系统FlashProve，旨在解决用户收到的AI回答是否真由所宣称模型生成的问题。公司周二博客称，其“可证明推理”将用密码学为每条输出提供数学保证，确认出自指定模型，类似加密邮件签名验证发件人。该系统可防止甲模型伪装成乙模型，堵住成本作弊暗门，并揭穿“注水”成绩单，直击行业长期潜规则。
大模型供应链存在“掏顶配钱却跑缩水模型”灰色地带。Anthropic联合零知识证明学者开源FlashProve：上线前单张H100约39分钟生成权重“手印”ID并公开；每次对话后GPU生成约19MB证明；用户普通CPU跑cp_verify，17秒验真，无需权重和GPU。底层zkSNARK每请求约2000个sumcheck，安全依赖BLAKE2。AI写代码，Lean验证，人类只守六条铁律。
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” 更多干货技巧行业动态
相关文章
