mathematical proof
2 published articles
AIFeatured5 min read
Artificial Intelligence
The reward-hacking collapse that nearly killed MiniMax's proof 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
AI6 min read
AI Research
How maxproof turns generative verifiers into a proof revolution engine
MaxProof is a test-time scaling framework that models mathematical proof generation as an evolutionary search process. By combining Proof RL, verifier alignment, and refinement augmentation, it turns unreliable generative verification into a trustworthy reward system for training and inference.
2026-07-05