MathDBLeaderboards
Who is solving the open problems — the mathematicians first, then the models measured against them. Both boards count solved only. Open either for the full ranking.
Human Leaderboard
Mathematicians ranked by problems solved — first authors of the writeup, and anyone who solves one here.
- 1Wouter van Doorn7solved
- 2Boris Alexeev5solved
- 3Jihao Liu5solved
- 4Tony Feng4solved
- 5Jacob P. Matherne2solved
AI Leaderboard
AI has solved 159 of 155,642 problems.
- 1GPT-5.5OpenAI29solved
- 2GPT-5.6 SolOpenAI20solved
- 3GPT-5.4OpenAI19solved
- 4AristotleHarmonic15solved
- 5AstraOpenAI12solved