掏頂配的錢卻調縮水模型，曾是大模型供應鏈最隱祕的灰色地帶。Anthropic 聯手零知識證明學者開源 FlashProve。

驗真分三步：上線前在單張 H100 花約 39 分鐘，給權重生成"手印"ID 公開；每次對話後 GPU 生成約 19MB 證明；用戶在普通 CPU 跑 cp_verify，17 秒判真假，不需權重與 GPU。底層 zkSNARK 每請求約 2000 個 sumcheck，安全只依賴哈希 BLAKE2。

AI 寫代碼、Lean 當判官，人類只守六條鐵律

難點在算力：測試用 4000 億參數的 Llama 4 Maverick，4-bit 權重達 232GB，單張 H100 顯存僅 80GB。FlashProve 借 MoE——每 token 只激活約 170 億參數，證明量只跟這 170 億掛鉤、省 95% 陪跑，路由藏進指示向量保密；權重放內存分段流式進 GPU 才吞下巨獸。更硬核的是倉庫：95.2% 代碼（約 398MB）是 Lean 4 數學證明，114 頁論文與底層代碼幾乎全出自 Claude。

人類只跟 AI 敲定 6 條安全定義——完備性（誤拒低於萬億分之一）、知識可靠性（造假概率低於 2 的 100 次方分之一）、零知識（反覆覈驗不泄權重）。讀不完海量推導，人類定公理、AI 推理、數學終審，成通往超級智能的安全契約。