Will the first AI to get IMO Gold integrate Isabelle?
Basic
6
Ṁ3132030
10%
chance
1D
1W
1M
ALL
This question resolves when an AI first gets IMO Gold. It resolves YES if the system that gets gold uses as a subsystem any piece of code from the Isabelle community, including any code from the isabelle-prover GitHub organization.
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00Related questions
Related questions
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
64% chance
Will an AI get gold on any International Math Olympiad by the end of 2025?
82% chance
Will an AI get gold on any International Math Olympiad before 2027?
85% chance
Will an AI get gold on this Olympiad by the end of 2025?
Will an AI win a gold medal on the IOI (competitive programming contest) before 2026?
80% chance
An AI model published prior to the 2025 IMO achieves gold medal performance
35% chance
Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?
97% chance
AI IMO 2025: How many AI labs announce a Gold performance at the IMO in 2025?
Will an AI win a gold medal on the IOI (competitive programming contest) before 2027?
86% chance
Will AI win a gold on IMO before it wins a gold on IOI?
75% chance