Will the first AI to get IMO Gold integrate Coq?
Mini
11
Ṁ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.
Get Ṁ1,000 play money
Related questions
Related questions
Will an AI get gold on any International Math Olympiad by the end of 2025?
84% 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
Will the first AI to get IMO gold have human-coded real quantifier elimination?
12% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
79% chance
Will the first AI to get IMO gold cite AlphaZero?
81% chance