Will the first AI to get IMO Gold integrate Coq?
11
Ṁ170Ṁ754resolved Jul 21
Resolved
NO1H
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.
Market context
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Trader | Total profit |
|---|---|---|
| 1 | Ṁ49 | |
| 2 | Ṁ24 | |
| 3 | Ṁ9 | |
| 4 | Ṁ5 | |
| 5 | Ṁ4 |