MiniMax Platform重要新发布2026-06-09
MiniMax 发布 MaxProof 框架：数学证明能力超越人类金牌线
MiniMax Releases MaxProof Framework: Math Proof Capability Surpasses Human Gold Medal Threshold
开源推理
EVENT SUMMARY
事件摘要
MiniMax 发布 MaxProof 框架技术报告，这是一套生成式验证强化学习驱动的数学证明进化系统。搭配 MaxProof 框架后，M3 模型在 IMO 2025 和 USAMO 2026 两组国际数学竞赛真题上均超过人类金牌线。技术报告涵盖基座模型能力增强、verifier 对齐、refinement 能力构建以及测试时增强框架 MaxProof 的设计四个方面，展示了测试时增强（test-time augmentation）在数学推理领域的突破性进展。
ANALYST VIEW
中立分析
为什么重要
数学推理和证明能力成为大模型能力竞争的关键维度，MaxProof 在 IMO/USAMO 级别超越人类金牌线，展示了测试时增强框架在数学推理上的突破性进展，推动行业对推理时计算（inference-time compute）投入的关注。
影响对象
面向数学研究者、AI 推理领域研究人员和竞赛级 AI 应用开发者，推动 AI 数学证明能力边界。
证据说明
来源为 MiniMax 官方博客，直接证明了 MaxProof 框架的存在、M3 在 IMO 2025 和 USAMO 2026 超金牌线的结果，以及技术报告涵盖的四个技术方向。
不确定性
未披露 MaxProof 是否开源、框架的计算开销、在其他数学基准上的表现以及是否仅针对 M3 优化。
SOURCES