Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?
16
1kṀ2367
Sep 2
15%
Yes/Yes
32%
Yes/No
46%
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.

AI
Technical AI Timelines
IMO Grand Challenge
Get
Ṁ1,000
to start trading!

People are also trading

Will AI win a gold on IMO before it wins a gold on IOI?
58% chance
Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?
98% chance
Will the "AI get gold on any IMO by the end of 2025" market resolve YES before the 2025 IMO?
1% chance
Will AI get at least bronze on the International Olympiad in Informatics (IOI) before 2026?
92% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
69% chance
Will an AI get gold on any International Math Olympiad by the end of 2025?
80% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2027?
88% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
31% chance
Will an AI get silver on any International Math Olympiad by 2025?
86% chance
Will an AI publicly accessible before IMO 2025 get the gold medal on it?
22% chance
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.

People are also trading

Will AI win a gold on IMO before it wins a gold on IOI?
-12% 1d58% chance
Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?
+10% 1d98% chance
Will the "AI get gold on any IMO by the end of 2025" market resolve YES before the 2025 IMO?
1% chance
Will AI get at least bronze on the International Olympiad in Informatics (IOI) before 2026?
+3% 1d92% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
69% chance
Will an AI get gold on any International Math Olympiad by the end of 2025?
80% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2027?
88% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
31% chance
Will an AI get silver on any International Math Olympiad by 2025?
86% chance
Will an AI publicly accessible before IMO 2025 get the gold medal on it?
22% chance
© Manifold Markets, Inc.•Terms + Mana-only Terms•Privacy•Rules