AI M3 MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Evolutionary Search 2026-06-09 Learn More — LingPick
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. This article further elabora…