Will the first AI to get IMO Gold integrate Coq?
11
170Ṁ4542030
8%
chance
1H
6H
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 Coq community, including any code from the coq or coq-community GitHub organizations.
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
53% chance
Will AI win a gold on IMO before it wins a gold on IOI?
60% chance
Will an AI get gold on any International Math Olympiad by the end of 2025?
70% chance
Will AI get at least bronze on the IMO by end of 2025?
80% chance
AI IMO 2025: How many AI labs announce a Gold performance at the IMO in 2025?
Will AI get BOTH gold and either bronze or silver on the IMO by end of 2025?
59% chance
Will an AI publicly accessible before IMO 2025 get the gold medal on it?
14% chance
Will the first AI to get IMO Gold integrate Isabelle?
10% chance
Will the first AI to get IMO Gold integrate Lean?
66% chance
Will the best AI score on the IMO 2025 be more like AlphaProof or o3?