Anthropic 正開發開源驗證系統 FlashProve，目標直擊一個痛點：你收到的 AI 回答，到底是不是你以爲在用的那個模型生成的。公司週二博客稱，它要做的"可證明推理"，是用密碼學爲每條輸出出具數學保證，證明確實出自指定模型——就像加密郵件簽名幫收件人確認發件人，FlashProve 專門防備"把甲模型僞裝成乙模型"。

堵住成本作弊暗門，也拆穿"注水"成績單

研究人員點破長期潛規則：有了它，AI 公司難以爲省成本在後臺偷偷把貴模型換成廉價版；反過來，企業也沒法暗中將便宜模型僞裝成高價型號、人爲擡高跑分。它還能覈驗第三方宣傳——比如某開發者聲稱代碼庫已被前沿安全模型掃過漏洞，或某公司商業計劃得了相應模型背書，用戶從此有了追問"憑什麼信你"的抓手。

指紋公開、權重不泄，本地設備就能驗

關鍵設計：AI 實驗室只需爲每個模型提供一枚"指紋"，再把輸出與之匹配、密碼學驗證來源；指紋不會泄露模型權重——那串決定行爲的內部參數，正是閉源命根子。實驗室可公開指紋而不交核心資產，FlashProve 也就能適配商業閉源模型。系統刻意做輕，用戶本地即可驗證。Anthropic 已放出技術規範與可運行代碼（GitHub 開源），但強調研究仍在進行，暫未打算自部署。