Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?
18
1kṀ2479
Sep 2
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,000
to start trading!
© Manifold Markets, Inc.TermsPrivacy