
What will be the best result an LLM based model gets in the 2025 IMO under fair conditions?
22
1kṀ6893in an hour
0.9%
Perfect score
4%
(non-perfect) Gold medal
9%
Silver medal
11%
Bronze medal
64%
Honorable mention
10%
No medal
Will resolve approx 1 week after the IMO problems are publicly released.
The model must have as input only the english+latex version of the problems.
Must not be a proof-seach specific model (aka not alpha-proof). This is a pseudo-benchmark for how good General AIs are at creative math. O3 and such are fair play
Ai must have same time constraints as competitors but no compute constraints, obviously no online access.
This question is managed and resolved by Manifold.
Get
1,000 to start trading!
People are also trading
Related questions
Which country will win the 2025 IMO?
What will happen at IMO 2025?
What will be the IMO 2025 gold cutoff?
What will I get at IMO 2025?
AI IMO 2025: How many AI labs announce a Gold performance at the IMO in 2025?
Will an AI get a perfect score in IMO 2025
3% chance
Will a Kimi reasoning model top LMArena by EOY2025?
30% chance
Who will have the best LLM at the end of 2025 (as decided by ChatBot Arena)?
Will a publicly-available LLM achieve gold on IMO before 2026?
14% chance
Will LLMs be the best reasoning models on these dates?