Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?
15
1kṀ1967Sep 2
1D
1W
1M
ALL
28%
Yes/Yes
20%
Yes/No
44%
No/Yes
7%
No/No
https://manifold.markets/jack/will-an-ai-win-a-gold-medal-on-imo, or the AIMO main prize resolves yes, then the AI has won a gold medal on the IMO.
The source for whether a problem is a combinatorics problem will be Evan Chen. https://web.evanchen.cc/upload/MOHS-hardness.pdf
I will not bet on this market. Market criteria may be adjusted for a short term.
This question is managed and resolved by Manifold.
Get
1,000 to start trading!
1,000Sort by:
Is there any particular reason to prefer Evan Chen’s MOHS document over shortlist categories? There’s a chance Evan doesn’t upload MOHS in 2025, or it might take a very long time.
Related questions
Related questions
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
56% chance
Will an AI get gold on any International Math Olympiad by the end of 2025?
79% chance
Will an AI win a gold medal on the IOI (competitive programming contest) before 2027?
88% chance
Will an AI get gold on this Olympiad by the end of 2025?
Will AI win a gold on IMO before it wins a gold on IOI?
76% chance
Will an AI win a gold medal on the IOI (competitive programming contest) before 2026?
81% chance
Will the AIMO (Artificial Intelligence Mathematical Olympiad) Grand Prize be won before 2026?
64% chance
Will AI get at least bronze on the International Olympiad in Informatics (IOI) before 2026?
91% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2027?
86% chance
Will an AI win a gold medal on the IOI (competitive programming contest) before 2030?
95% chance