Will the first AI to get IMO Gold integrate Coq?
11
170Ṁ4542030
8%
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 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,000Related questions
Related questions
Will an AI get gold on any International Math Olympiad by the end of 2025?
84% chance
Will AI win a gold on IMO before it wins a gold on IOI?
71% chance
Will AI get at least bronze on the International Olympiad in Informatics (IOI) before 2026?
95% chance
Will an AI get gold on any International Math Olympiad by 2028?
89% chance
Will the first AI to get IMO Gold integrate Isabelle?
10% chance
Will the first AI to get IMO Gold integrate Lean?
62% chance
Will the first AI to get IMO gold use formal methods?
61% chance
What company or institution will win the XTX AIMO Prize?
Will an AI publicly accessible before IMO 2025 get the gold medal on it?
36% chance
Will an AI which achieves IMO gold medal before 2026 use MCTS during test-time?
75% chance