Soohak: leaderboard

Following the recent achievement of gold-medal performance on the IMO by frontier LLMs, the community is searching for the next meaningful and challenging target for measuring LLM reasoning. Whereas olympiad-style problems measure step-by-step reasoning alone, research-level problems use such reasoning to advance the frontier of mathematical knowledge itself, emerging as a compelling alternative.

Metric: Pass@3 (Challenge) (self-reported). Source: benchmarklist.com. Saturation forecast: Around June 2027. 11 models tracked.

Top models

#ModelScoreOverall rank
1Gemini 3 Pro44.12#80
2GPT-540.88#98
3Grok 4.1 Fast30.88#217
4GPT-5 Mini28.82#186
5Gemini 3 Flash25.59#99
6Kimi K2.520#144
7Claude Opus 4.518.82#83
8GPT-OSS-120B18.53#341
9GLM-518.24#141
10Qwen 3 235B A22B 2507 (Thinking)15#260 (Qwen 3 235B A22B 2507)
11Claude Sonnet 4.510.29#142

No result here: #3 Claude Opus 5.5, #6 GPT-6 Astra, #7 GPT-6.1 Sol.

Interactive version: theaggregate.ai/benchmark?slug=soohak · How It Works · Data refreshed daily, snapshot 2026-10-20.