From the source
MiniMax's M3 model, using the MaxProof framework, exceeded the human gold-medal threshold on IMO 2025 and USAMO 2026 benchmarks.
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Evolutionary Search
Research paper
From the source
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.
minimax.io
