Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?
Plus
18
Ṁ2479Sep 2
1D
1W
1M
ALL
15%
Yes/Yes
33%
Yes/No
37%
No/Yes
15%
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.
Get
1,000and
1.00
1,0001.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?
52% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2027?
92% chance
Will an AI get gold on any International Math Olympiad by the end of 2025?
69% chance
Will AI first get IMO gold in 2026 or 2027?
40% chance
What will be the first year that an AI gets gold on an International Mathematical Olympiad?
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?
17% chance
AI IMO 2025: How many AI labs announce a Gold performance at the IMO in 2025?
Will an AI publicly accessible before IMO 2025 get the gold medal on it?
14% chance
Will an AI get gold on this Olympiad by the end of 2025?