MiniMax 詳解 MaxProof：生成式驗證器強化學習與演化搜尋用於數學證明

MiniMax 發布技術部落格，說明 MaxProof 框架，該框架支撐 M3 在 IMO 2025 與 USAMO 2026 上超越人類金牌門檻。此流程訓練三個專家模型，分別負責證明生成、錯誤判斷與證明修復，接著執行演化式測試時搜尋，取樣 32 個候選、每個驗證 4 次，並最多精煉 10 輪。MiniMax 表示關鍵教訓是：生成式驗證器作為強化學習獎勵時，應優先降低偽陽性而非追求平均準確率，並引用 M2-cycle 獎勵駭客案例，其中偽陽性率在訓練期間從約 2.9% 升至 8.0%。