Will the first AI to get IMO Gold integrate Isabelle?
Mini
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.
Get Ṁ1,000 play money
Related questions
Related questions
Will AI win a gold on IMO before it wins a gold on IOI?
58% chance
Will the "AI get gold on any IMO by the end of 2025" market resolve YES before the 2025 IMO?
1% chance
Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?
98% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
69% chance
Will an AI get gold on any International Math Olympiad by the end of 2025?
80% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
31% chance
Will the best AI score on the IMO 2025 be more like AlphaProof or o3?
Will an AI publicly accessible before IMO 2025 get the gold medal on it?
22% chance
Will the first AI to get IMO Gold integrate Coq?
8% chance
Will the first AI to get IMO Gold integrate Lean?
66% chance