Open-Source AI model gets perfect IMO 2026 score? [International Math Olympiad 2026]
37
10kṀ19kJul 31
50%
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
Top AI Model 2026 (Epoch Capabilities Index, ECI)
Perfect score achieved by an AI model in the International Math Olympiad (IMO) 2026?
70% chance
What will be true of the gold-IMO-medal-winning internal OpenAI model? [Add Answers]
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?
52% 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