MiniMax详解MaxProof：用于数学证明的生成式验证器强化学习与进化搜索

MiniMax发布技术博客，详解MaxProof框架——M3在IMO 2025和USAMO 2026上超越人类金牌阈值的背后方法。该流程训练三个专家模型，分别用于证明生成、错误判断和证明修复，然后运行进化式测试时搜索，采样32个候选，每个验证4次，最多迭代10轮。MiniMax表示，关键经验是：将生成式验证器用作强化学习奖励时，应优先降低假阳性率而非追求平均准确率，并援引M2-cycle的奖励黑客现象——训练期间假阳性率从约2.9%升至8.0%。