The Artificial Intelligence Mathematical Olympiad (AIMO) Prize is a $10 million challenge fund, founded and supported by the trading firm XTX Markets, with the ultimate goal of producing a publicly shared AI model that can win a gold medal at the International Mathematical Olympiad. Rather than award everything at once, it runs intermediate “progress prizes.” The first ran on Kaggle from April 1 to June 27, 2024, drawing 1,401 participants on 1,161 teams with submissions from 81 countries.
On July 20, 2024, the organizers announced that Team Numina had won the first progress prize. Their model, NuminaMath 7B TIR, solved 29 of 50 problems on the hidden private test set. The winning effort, a collaboration between Numina and Hugging Face, fine-tuned an open base model (DeepSeekMath-Base 7B) and combined it with tool-integrated reasoning - letting the model write and run Python code to check its work - and self-consistency over many candidate solutions. The team released the model, a larger variant, and a dataset of mathematics problems and solutions openly.
AIMO is a useful entry because it puts a precise, hard-to-game target on AI reasoning: olympiad math problems have unambiguous answers and are designed to require real insight, not lookup. The prize structure also pushes toward open, shareable models rather than closed systems. For a business reader, it illustrates how a large prize fund can channel competitive energy toward a specific capability that general benchmarks only approximate.