MiniMax Research Blog·· 2026-06-09AI 评分52
MiniMax 详解 MaxProof：用生成式验证器 RL 与进化搜索扩展 M3 数学证明能力
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Evolutionary Search
AI 导读
MiniMax 发布技术博客，详解 M3 数学证明能力背后的 MaxProof 框架，并称 M3 借此在 IMO 2025 与 USAMO 2026 上超过人类金牌线。
来源：MiniMax Research Blog · minimax.io