Trends →

Lead story

Models & availability

Latest

As it lands

Live feed of AI lab newsrooms. First-party announcements, traced to the source.

Feed Trends About Privacy Agents RSS

MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Evolutionary Search — forck.live

← Feed

Copy▾✕ Close copy menu

Post on X ↗

MiniMax· MiniMax modelsResearch paper

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

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

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

Visit source ↗minimax.io

Announced: 09 Jun 2026 00:00 UTC
Detected: 04 Aug 2026 07:42 UTC (+56d after)

Other stories

Google Research · 27 AugPlanetary prediction engine: Automating global models via Earth AIResearch paper

OpenAI · 27 AugBetter answers, broader thinking: What students gain from ChatGPT and critical-thinking trainingResearch paper

LG AI Research · 27 Aug[ACL 2026] ReSQL: A Self-Improving Text-to-SQL Framework through Retrieval-Augmented Error ReasoningResearch paper

xAI · 29 Aug

Grok Bot now works with X

Capability change

GitHub · 28 AugGitHub Copilot in Visual Studio — August update

GitHub · 28 AugGitHub Copilot weekly releases — August 24Capability change