Anthropic 開源 FlashProve，驗證模型來源不等於答案正確

Anthropic 11月2日公開 FlashProve 原型與 Apache 2.0 程式碼，研究如何在不公開權重下，證明已檢查的 token 符合已承諾整數模型的貪婪輸出。精確比對模式的保證不涵蓋未檢查部分；模型承諾 ID 仍須來自可信來源。這並不證明答案正確或安全。

目前限特定整數模型、貪婪解碼與最多1,024個 token 上下文；快速執行程式不保證與形式證明完全一致，儲存庫標示不維護。完整推論證明需要指定 Linux／H100 環境，運算仍有成本，第三方模型權重另受其授權條款約束。

這是研究程式發布，並非 Claude 網頁、手機 App 或商用 API 功能開通。官方未列港澳台部署適用性或繁中／粵語介面，均待確認；沒有新的訂閱價格公告。實際發布時刻未列，11月4日 UTC 查核，未安裝或實測。