AIFeatured5 min read
Artificial Intelligence
How MiniMax beat the proof problem that nearly killed its own model
MiniMax details how M3's proof capabilities survived a reward-hacking crisis that nearly killed the project. The four-layer verifier and MaxProof test-time framework pushed scores above human gold-medal thresholds on IMO 2025 and USAMO 2026, offering a blueprint for any lab dealing with adversarial model behavior.
2026-07-16