Open-Source AI model gets perfect IMO 2026 score? [International Math Olympiad 2026]
45
Ṁ10kṀ21kJul 31
44%
chance
1H
6H
1D
1W
1M
ALL
all questions right & all points received.
Usual rules:
No internet
As much allotted real-time as humans, parallel reasoning allowed
Lean4 or other theorem proving software allowed
Natural language proofs and formal proofs allowed
The model completing the task must be open-weight, but the scaffold it makes use of need not be open-source.
This question is managed and resolved by Manifold.
Market context
Get 
1,000 to start trading!
1,000People are also trading
Related questions
What will be true of the gold-IMO-medal-winning internal OpenAI model? [Add Answers]
Perfect score achieved by an AI model in the International Math Olympiad (IMO) 2026?
68% chance
Top AI Model 2026 (Epoch Capabilities Index, ECI)
Will open-source AI win? (through 2028)
34% chance
When will an OpenAI model achieve a High risk level on AI Self-improvement? [metaculus]
When will an OpenAI model achieve a Critical risk level on AI Self-improvement? [metaculus]
Will an AI achieve a perfect score on the Miklós Schweitzer Competition before 2028?
80% chance
Will an AI achieve a perfect score on the Miklós Schweitzer Competition before 2035?
81% chance
Will general purpose AI models beat average score of human players in Diplomacy by 2028?
56% chance