Hugging Face Blog
How NuminaMath Won the 1st AIMO Progress Prize
Read the original on Hugging Face Blog →The Flow has not summarised this story yet — read it at Hugging Face Blog.
Related stories
DeepMind Blog
Oct 24, 2025
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
The International Mathematical Olympiad (“IMO”) is the world’s most prestigious competition for young mathematicians, and has been held annually since 1959. Each country taking part is represented by six elite, pre-university mathematicians who compete to solve six exceptionally difficult problems in algebra, combinatorics, geometry, and number theory.
OpenAI Blog
Aug 23, 2018
The International 2018: Results
OpenAI Five lost two games against top Dota 2 players at The International in Vancouver this week, maintaining a good chance of winning for the first 20–35 minutes of both games.
OpenAI Blog
Apr 15, 2019
OpenAI Five defeats Dota 2 world champions
OpenAI Five is the first AI to beat the world champions in an esports game, having won two back-to-back games versus the world champion Dota 2 team, OG, at Finals this weekend. Both OpenAI Five and DeepMind’s AlphaStar had previously beaten good pros privately but lost their live pro matches, making this also the first time an AI has beaten esports pros on livestream.
OpenAI Blog
Jun 20, 2020
Procgen and MineRL Competitions
We’re excited to announce that OpenAI is co-organizing two NeurIPS 2020 competitions with AIcrowd, Carnegie Mellon University, and DeepMind, using Procgen Benchmark and MineRL.
Simon Willison
Sep 8
On the Navier–Stokes Millennium Prize Problem
Simon Willison reports that OpenAI used an unreleased model to produce a claimed resolution to the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. The claim has been met with controversy, as NYU professor Tristan Buckmaster and mathematician Levent Alpöge—who had been working on related problems with Claude and Codex—accused OpenAI of using their unpublished work. OpenAI has denied accessing their data and has offered to wait for Buckmaster’s publication, but will not include Alpöge as a co‑author due to a competitive relationship with his employer.
Simon Willison
Sep 8
Some thoughts on the Navier–Stokes Millennium Prize Problem
On the Navier–Stokes Millennium Prize Problem introduces an impressive result from OpenAI, who used an unreleased model to produce a resolution to the Navier–Stokes existence and smoothness problem, o...