給 AI 輸出蓋"數字指紋"：Anthropic 研發 FlashProve 讓換模型無處遁形
AI資訊AI新閒資訊正文給 AI 輸出蓋"數字指紋"：Anthropic 研發 FlashProve 讓換模型無處遁形發布於AI新閒資訊時間 :Nov 4, 2026閱讀 :1分鐘Anthropic 正開發開源驗證系統 FlashProve，目標直擊一個痛點：你收到的 AI 回答，到底是不是你以為在用的那個模型生成的。公司週二博客稱，它要做的"可證明推理"，是用密碼學為每條輸出出具數學保證，證明確實出自指定模型——就像加密郵件簽名幫收件人確認發件人，FlashProve 專門防備"把甲模型偽裝成乙模型"。
堵住成本作弊暗門，也拆穿"注水"成績單研究人員點破長期潛規則：有了它，AI 公司難以為省成本在後臺偷偷把貴模型換成廉價版；反過來，企業也沒法暗中將便宜模型偽裝成高價型號、人為抬高跑分。它還能核驗第三方宣傳——比如某開發者聲稱代碼庫已被前沿安全模型掃過漏洞，或某公司商業計劃得了相應模型背書，用戶從此有了追問"憑什麼信你"的抓手。指紋公開、權重不洩，本地設備就能驗關鍵設計：AI 實驗室只需為每個模型提供一枚"指紋"，再把輸出與之匹配、密碼學驗證來源；指紋不會洩露模型權重——那串決定行為的內部參數，正是閉源命根子。實驗室可公開指紋而不交核心資產，FlashProve 也就能適配商業閉源模型。
系統刻意做輕，用戶本地即可驗證。Anthropic 已放出技術規範與可運行代碼（GitHub 開源），但強調研究仍在進行，暫未打算自部署。相關推薦Anthropic 殺手級驗真系統 FlashProve 正式開源：17 秒精準戳破“套殼模型”，驗身速度飆升 5000 倍人工智能開源生態繁榮催生“套殼模型”亂象：部分開發者將開源模型稍作包裝、偷換權重或篡改輸出，便宣稱自研新模型。為從根源打擊亂象，AI明星企業Anthropic推出並開源大模型可證明推理系統FlashProve。該系統依託底層密碼學技術，可精準驗證模型真實身份，遏制套殼造假。Nov 4, 2026116.
0kClaude 給自己發"身份證"：Anthropic 用零知識證明斬斷套殼灰產大模型供應鏈存在“掏頂配錢卻跑縮水模型”灰色地帶。Anthropic聯合零知識證明學者開源FlashProve：上線前單張H100約39分鐘生成權重“手印”ID並公開；每次對話後GPU生成約19MB證明；用戶普通CPU跑cp_verify，17秒驗真，無需權重和GPU。底層zkSNARK每請求約2000個sumcheck，安全依賴BLAKE2。AI寫代碼，Lean驗證，人類只守六條鐵律。Nov 4, 2026142.
3kAnthropic產品團隊出現人事變動，Claude Code負責人離開Anthropic Claude Code產品負責人Cat Wu已離職。她在X稱週五是最後一天，未透露原因及去向。她曾負責Claude Code和Cowork。此前在Scale AI、Dagster任工程師，後任職Index Ventures，2024年8月加入Anthropic，先做研究方向產品經理，後參與Claude Code及Cowork。Nov 4, 2026160.1k藏在衛生紙裡的錄音器，扯出 OpenAI 多年安全積弊今年10月，OpenAI高管會議室被偷放錄音設備。
美司法部10月13日通報，涉案者為35歲沙特公民、時任OpenAI工程師阿爾福贊，設備藏於衛生紙中。多名前員工並不意外，稱公司安全積弊已久：早在2022年底ChatGPT問世前，就有人警告安全管理問題，卻多年未被重視。路透社援引5名知情人士披露。Nov 4, 2026156.4kAnthropic發佈開源系統FlashProve:通過密碼學指紋實現AI模型身份可驗證2026年11月3日，Anthropic宣佈推出開源系統FlashProve，為AI模型身份驗證與輸出真實性提供密碼學層面的數學保證，致力於實現“可驗證推理”。
它可防止服務提供商秘密替換模型，如以低成本模型冒充高性能模型或誇大性能，也能驗證第三方對複雜任務執行情況的聲明。技術實現部分原文未完整披露。Nov 4, 2026145.2k智啟未來，您的人工智能解決方案智庫English簡體中文繁體中文にほんご© 2026
Related
相關文章
用自家大模型造自己的“芯”：Anthropic 組建 15 人芯片設計團隊，Claude 助陣讓研發提速
在實際的內部測試與應用中，Anthropic 的工程師團隊發現，與英偉達、超威半導體（AMD）等傳統大型芯片設計企業的常規工作流程和耗時估算相比，藉助 Claude 模型進行輔助設計，能夠顯著縮短芯片整體設計所需的週期。這一探索不僅展示了大模型在底層硬件研發中的輔助潛力，也為整個人工智能行業通過 AI 提升芯片研發效率提供了全新的實踐樣本。
17秒驗明AI“真身”！Anthropic開源可證明推理系統，能抓模型調包
編譯 | 孫小雯 編輯 | 程茜 11月4日消息，今天凌晨，Anthropic開源大模型可證明推理系統FlashProve，詳細技術報告於11月2日發佈。服務商可通過該系統為模型回答生成密碼學證明，用戶無需獲取模型權重或自行運行大模型，就能在CPU上核驗輸出是否符合指定模型的計算結果。
一個人一天搞定：Windows 11 原生測速工具背後的"AI 副駕"模式
早先微軟與 Ookla 合作推過早期版本，本質只是 Bing 網頁的包裝；直到上月，真正貼合 Windows 風格的原生工具才正式上線。人定方向、AI 跑腿，業餘時間一天出原型據 Ash 介紹，項目起點是用戶反饋"不想離開系統就能測網速"。
OpenAI 員工的"副業"硬件：GPT-6 Astra 一週出圖、一月出樣
據稱，兩名團隊成員利用業餘時間，不到一週就借 Astra 完成一款能與 Codex 交互的測試設備設計——模型一口氣包辦了外觀、外殼結構、電子元件選型、電路板佈局到固件生成，把原本需要多方協作的活兒收進一個對話窗口。代工廠隨後不到一個月便造出小批量原型機，從一張草圖到可把玩的真機，週期被壓到驚人地短。
百度首次發佈物理AI世界模型Apollo World，蘿蔔快跑近百輛無人車搭載新架構運營
百度智能駕駛事業群組首席架構師王亮表示，目前約百輛蘿蔔快跑無人車已搭載新一代端到端架構參與運營，累計全無人運營安全里程接近百萬公里。新一代架構採用端到端模型，從駕駛數據中直接學習駕駛策略，預測轉向、油門和剎車等控制信號。為驗證模型安全性，百度推出Apollo World，將車輛、行人等交通參與者構建為具備自主決策能力的AI智能體，模擬複雜交通場景及完整行程，每天可完成約10萬公里虛擬路測。
0.016% 的 Astra 微創手術，治好了 Qwen 的 3 萬 Token 死循環
當「讀懂權重」和「改寫權重」被同一個模型打通，「AI 改進 AI」就多了一條不經過梯度下降的短路通道，模型維護與模型能力放大之間的邊界開始模糊。作者丨鄭佳美 編輯丨岑 峰 一個模型做數學題，寫了 3 萬多個 Token，仍然在重複相似的推理過程，最後連答案也交不出來。