MaxProof: MiniMax Model Exceeds IMO and USAMO Gold-Medal Thresholds on Formal Math
MiniMax
MiniMax published MaxProof, a framework for training and test-time scaling of mathematical proof using the MiniMax M3 model series. It trains three capabilities — proof generation, verification, and critique-conditioned repair — using a generative verifier engineered for low false-positive rate. At inference, the model acts simultaneously as generator, verifier, refiner, and ranker, selecting a final proof via tournament ranking. MaxProof achieves 35/42 on IMO 2025 and 36/42 on USAMO 2026, exceeding the gold-medal threshold on both. Published on arXiv (2606.13473) with 75 upvotes on HuggingFace Daily Papers.
Why it matters
Gold-medal-level performance on both IMO and USAMO from a single unified open-weight model — not an ensemble of specialized systems — marks a meaningful advance in formal mathematical reasoning. 75 upvotes on HF Daily Papers.
Importance: 4/5
First open-weight model to cross IMO+USAMO gold threshold simultaneously; produced by the same lab releasing M3 open weights this week.