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?
55% 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 the best AI score on the IMO 2025 be more like AlphaProof or o3?
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
31% chance
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