How NuminaMath Won the 1st AIMO Progress Prize
NuminaMath won the first AI Mathematical Olympiad (AIMO) Progress Prize, a competition focused on advancing AI capabilities in mathematical reasoning. The blog post details the technical approach and methodology used by the winning team. This represents a notable milestone in AI mathematical problem-solving, a domain considered a key frontier for reasoning capabilities.
Related guides (3)
Related events (8)
OpenAI Neural Theorem Prover Solves Formal Math Olympiad Problems in Lean
OpenAI developed a neural theorem prover integrated with the Lean proof assistant that can solve challenging high-school olympiad problems, including problems from AMC12, AIME, and two IMO-adapted problems. The system demonstrates automated formal mathematical reasoning at a level previously requiring human expertise. This represents a significant capability milestone in AI-assisted formal verification and mathematical problem-solving.
OpenAI Shares First Proof Math Challenge Submissions
OpenAI has published its AI model's proof attempts for the First Proof math challenge, a competition designed to test research-grade mathematical reasoning on expert-level problems. This represents a capability demonstration of OpenAI's models on formal mathematical proof generation. The submission signals continued progress in AI mathematical reasoning at a level approaching or engaging with professional research mathematics.
Gemini with Deep Think Achieves Gold-Medal Standard at IMO 2025
DeepMind's advanced Gemini model with Deep Think reasoning has officially achieved gold-medal standard at the International Mathematical Olympiad, the world's most prestigious pre-university mathematics competition. The IMO involves six problems across algebra, combinatorics, geometry, and number theory, and has been held annually since 1959. This represents a formal, externally validated milestone in AI mathematical reasoning capability.
Accelerating discovery with the AI for Math Initiative
Google DeepMind has announced the AI for Math Initiative, a collaborative effort bringing together leading research institutions to advance the use of AI in mathematical research. The initiative aims to pioneer AI-driven approaches to mathematical discovery. The announcement comes from a Tier 1 source but the body text is sparse, providing limited technical detail about specific methods, models, or partner institutions involved.
MaxProof achieves gold-medal-level performance on IMO 2025 and USAMO 2026 via population-level test-time scaling
MiniMax introduces MaxProof, a test-time scaling framework for competition-level mathematical proof built on their MiniMax-M3 model. The system trains three capabilities — proof generation, verification, and critique-conditioned repair — then at inference time runs tournament selection over a population of candidate proofs. MaxProof scores 35/42 on IMO 2025 and 36/42 on USAMO 2026, exceeding the human gold-medal threshold on both competitions.
Improving Mathematical Reasoning with Process Supervision
OpenAI trained a model achieving state-of-the-art mathematical problem solving by rewarding each correct reasoning step (process supervision) rather than only the final answer (outcome supervision). This approach improves performance on math benchmarks and carries an alignment benefit by training models to produce human-endorsed chain-of-thought reasoning. The work highlights a potential synergy between capability improvements and alignment techniques.
Mistral AI Releases Mathstral 7B: Math-Specialized Model with SOTA Reasoning in Size Category
Mistral AI has released Mathstral 7B, a math and STEM-specialized model built on Mistral 7B, developed in collaboration with Project Numina. The model achieves 56.6% on MATH and 63.47% on MMLU in standard evaluation, improving to 74.59% on MATH with a reward model over 64 candidates using inference-time compute scaling. Weights are open on HuggingFace and compatible with mistral-inference and mistral-finetune tooling.
Import AI 445: Timing superintelligence; AIs solve frontier math proofs; a new ML research benchmark
Import AI issue 445 covers three main topics: speculation on whether 2026 will be a pivotal year for superintelligence decision-making, AI systems solving frontier mathematics proofs, and the introduction of a new ML research benchmark. The newsletter synthesizes recent developments across capability milestones and evaluation tooling. As a tier-2 commentary source, it provides curated signal on frontier AI progress rather than primary research.