Anthropic 殺手級驗真系統 FlashProve 正式開源：17 秒精準戳破“套殼模型”，驗身速度飆升 5000 倍

AI資訊AI新閒資訊正文Anthropic 殺手級驗真系統 FlashProve 正式開源：17 秒精準戳破“套殼模型”，驗身速度飆升 5000 倍發布於AI新閒資訊時間 :Nov 4, 2026閱讀 :1分鐘人工智能開源生態的繁榮在帶來便利的同時，也催生了層出不窮的“套殼模型”現象——部分開發者或機構將開源模型稍作包裝，甚至偷換權重、篡改輸出，便對外宣稱是自主研發的全新模型。為了從根源上打擊這種行業亂象，人工智能明星企業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 的深度融合，開啟了人工智能可信驗證的全新時代。

相關推薦Claude 給自己發"身份證"：Anthropic 用零知識證明斬斷套殼灰產大模型供應鏈存在“掏頂配錢卻跑縮水模型”灰色地帶。Anthropic聯合零知識證明學者開源FlashProve：上線前單張H100約39分鐘生成權重“手印”ID並公開；每次對話後GPU生成約19MB證明；用戶普通CPU跑cp_verify，17秒驗真，無需權重和GPU。底層zkSNARK每請求約2000個sumcheck，安全依賴BLAKE2。AI寫代碼，Lean驗證，人類只守六條鐵律。Nov 4, 2026145.

1kAnthropic產品團隊出現人事變動，Claude Code負責人離開Anthropic Claude Code產品負責人Cat Wu已離職。她在X稱週五是最後一天，未透露原因及去向。她曾負責Claude Code和Cowork。此前在Scale AI、Dagster任工程師，後任職Index Ventures，2024年8月加入Anthropic，先做研究方向產品經理，後參與Claude Code及Cowork。Nov 4, 2026153.5k藏在衛生紙裡的錄音器，扯出 OpenAI 多年安全積弊今年10月，OpenAI高管會議室被偷放錄音設備。

美司法部10月13日通報，涉案者為35歲沙特公民、時任OpenAI工程師阿爾福贊，設備藏於衛生紙中。多名前員工並不意外，稱公司安全積弊已久：早在2022年底ChatGPT問世前，就有人警告安全管理問題，卻多年未被重視。路透社援引5名知情人士披露。Nov 4, 2026134.9kAnthropic發佈開源系統FlashProve:通過密碼學指紋實現AI模型身份可驗證2026年11月3日，Anthropic宣佈推出開源系統FlashProve，為AI模型身份驗證與輸出真實性提供密碼學層面的數學保證，致力於實現“可驗證推理”。

它可防止服務提供商秘密替換模型，如以低成本模型冒充高性能模型或誇大性能，也能驗證第三方對複雜任務執行情況的聲明。技術實現部分原文未完整披露。Nov 4, 2026135.9k營收狂飆卻難掩鉅額賬單：Anthropic三季度重回虧損，近 9000 億美元算力承諾成IPO最大考驗Anthropic向SEC提交招股書修訂稿，補全2026財年第三財季（截至9月30日）財務數據。公司營收仍快速增長但增速放緩；因短期算力成本激增及多項費用疊加，僅維持一個季度經營盈利便再度轉虧。其近9000億美元算力採購承諾引發市場廣泛關注，經營盈利“曇花一現”。Nov 3, 2026162.

1k智啟未來，您的人工智能解決方案智庫English簡體中文繁體中文にほんご© 2026