AI 數學證明

深度分析

MaxProof：人口層級測試時擴展提升 AI 數學證明競賽表現

MaxProof是針對MiniMax‑M3模型的測試時擴展框架，結合生成、驗證、修正與排名四角色，透過人口層級搜尋與比賽式挑選，讓模型在IMO2025取得35/42、USAMO2026取得36/42的金牌門檻。此框架證明人口層級驗證與迭代修正能將最佳@K穩定提升為pass@1，預示AI數學推理將更倚賴測試時擴展。