Hugging Face Blog

How NuminaMath Won the 1st AIMO Progress Prize

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.

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.

OpenAI Blog
Aug 6, 2018

OpenAI Five Benchmark: Results

Yesterday, OpenAI Five won a best-of-three against a team of 99. 95th percentile Dota players: Blitz, Cap, Fogged, Merlini, and MoonMeander—four of whom have played Dota professionally—in front of a live audience and 100,000 concurrent livestream viewers.

arXiv AI
Sep 1

ScienceArena: Benchmarking LLMs on Latest Scientific Olympiad Competitions

arXiv:2608.30517v1 Announce Type: new Abstract: Benchmark saturation and data contamination increasingly obscure genuine scientific reasoning in frontier LLMs. We introduce \textsc{ScienceArena}, an...

By Guangxiang Zhao, Qilong Shi, Xusen Xiao, Wenpu Liu, Yaoming Li, Linfeng Hao, Shuyang Hou, Zijian Guo, Xinrui Zhang, Yuntian Zhao, Zhengyang Wang, Wenrui Liu, Yuhan Wu, Tong Yang, Lin Sun, Xiangzheng Zhang