# MiniMax — MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Evolutionary Search

- Company: MiniMax (minimax.io)
- Announced: 2026-06-09T00:00:00+00:00
- Category: research-paper
- Subject: MiniMax models
- Models affected: M3
- Source: https://www.minimax.io/blog/minimax-maxproof-math-proof-evolution
- Record: https://forck.live/items/3395-maxproof-scaling-mathematical-proof-with-generative-verifier-rl-and

MiniMax's M3 model, using the MaxProof framework, exceeded the human gold-medal threshold on IMO 2025 and USAMO 2026 benchmarks.

## Evidence

Verbatim from https://www.minimax.io/blog/minimax-maxproof-math-proof-evolution:

> In the M3 release post, we reported the performance of the M3 model on two international mathematical olympiad benchmarks: IMO 2025 and USAMO 2026. With the MaxProof framework, M3 exceeded the human gold-medal threshold on both.

---

Record: https://forck.live/items/3395-maxproof-scaling-mathematical-proof-with-generative-verifier-rl-and
Catalogue: https://forck.live/llms.txt
Feed: https://forck.live/feed.md