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