**MaxProof：群体级测试时扩展让数学证明超越人类金牌**

_MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling_

> MiniMax-M3系列采用MaxProof框架，整合证明生成、验证与修复能力，在测试时对候选证明群体进行搜索与锦标赛选择，在IMO 2025和USAMO 2026上分别取得35/42和36/42，均超越人类金牌线。

**来源信息**
- **来源**：HuggingFace Daily Papers（社区热门论文）
- **分类**：论文
- **发布时间**：2026-06-12 08:00（北京时间）
- **原文**：[打开原文](https://huggingface.co/papers/2606.13473)