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 get gold on any International Math Olympiad by the end of 2025?
50% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
39% chance
Will the best AI score on the IMO 2025 be more like AlphaProof or o3?
AI IMO 2025: How many AI labs announce a Gold performance at the IMO in 2025?
Conditional on AI getting at least bronze on the IMO, will it get gold by 2025?
51% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
10% chance
Will an AI get gold at the IMO? (no time restrain)
51% chance
Will the first AI to get IMO Gold integrate Isabelle?
7% chance
Will the first AI to get IMO Gold integrate Lean?
69% chance
Will the first AI to get IMO gold use formal methods?
62% chance