AIMO Progress Prize: July 2024 Results

The AI Mathematical Olympiad Progress Prize 1 (first progress prize) has finished and congratulations to Team Numina on their win!

The competition, supported by XTX Markets, ended with 16,104 registrations and 1,401 participants on 1,161 teams. We had 1,831 submissions from 81 countries. For 392 users (including 32 in the top 100!), this was their first competition.

See the Kaggle leaderboard here.

Many congratulations to 'Team Numina' who won the first progress prize! For more information on the winning team and solution click here.

A presentation to the winners took place at the International Mathematics Olympiad (‘IMO’) in Bath on Saturday 20th July, with the first prize awarded to the winners by leading mathematician Terence Tao.

Team Numina commented on the result:

“The AIMO prize is a fantastic initiative fostering innovation in AI for mathematics. We are proud and humbled to have won the first progress prize this year, supported by Hugging Face, MistralAI, Answer.ai, General Catalyst and Beijing CMLR. Gathering a unique dataset of 800k+ competitive level problems and solutions was a key success factor and we are thrilled to release it to the public. We now look forward to seeing far better models built upon the Numina dataset.” — Yann Fleureau, co-founder of Numina

The AIMO Prize and the Progress Prize

The AIMO Prize is a $10mn challenge fund, founded and supported by XTX Markets, designed to spur the open development of AI models that can reason mathematically, leading to the creation of a publicly-shared AI model capable of winning a gold medal in the International Mathematical Olympiad (IMO).

Within this, the first progress prize included problems at intermediate-level high school mathematics competitions. The progress prize was open from 1 April to 27 June 2024.

The Progress Prize will continue in 2025.

More information on the progress prize here.