Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?
Plus
19
Ṁ2529Sep 2
14%
Yes/Yes
40%
Yes/No
33%
No/Yes
14%
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,000and
3.00
1,0003.00Sort 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?
40% chance
AI IMO 2025: How many AI labs announce a Gold performance at the IMO in 2025?
Will an AI get gold on any International Math Olympiad by the end of 2025?
46% chance
Will an AI get gold at the IMO? (no time restrain)
51% chance
Will an AI get a perfect score in IMO 2025
29% chance
How many combinatorics problems will there be on the 2025 International Math Olympiad (IMO)?
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
13% chance
Will an AI publicly accessible before IMO 2025 get the gold medal on it?
12% chance
Will an AI get silver on any International Math Olympiad by 2025?
84% chance
Will an AI get bronze on any International Math Olympiad by 2025?
92% chance