Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?
Basic
14
1.2k
2025
25%
Yes/Yes
24%
Yes/No
37%
No/Yes
13%
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,000 play money
Sort by:

I hope they put extra combinitorics to troll

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.

it's just more convenient

Shortlist numbers come out faster than Evan’s MOHS ratings.