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.

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

People are also trading

Will an AI get gold on any International Math Olympiad by the end of 2025?
68% chance
AI IMO 2025: How many AI labs announce a Gold performance at the IMO in 2025?
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
53% chance
Will AI get at least bronze on the International Olympiad in Informatics (IOI) before 2026?
99% chance
Will AI get BOTH gold and either bronze or silver on the IMO by end of 2025?
57% chance
How many combinatorics problems will there be on the 2025 International Math Olympiad (IMO)?
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?
Will an AI get silver on any International Math Olympiad by 2025?
86% chance
Will an AI get gold on any International Math Olympiad by 2028?
93% chance
Sort by:
bought Ṁ50 YES

No combi

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 an AI get gold on any International Math Olympiad by the end of 2025?
68% chance
AI IMO 2025: How many AI labs announce a Gold performance at the IMO in 2025?
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
53% chance
Will AI get at least bronze on the International Olympiad in Informatics (IOI) before 2026?
99% chance
Will AI get BOTH gold and either bronze or silver on the IMO by end of 2025?
57% chance
How many combinatorics problems will there be on the 2025 International Math Olympiad (IMO)?
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?
Will an AI get silver on any International Math Olympiad by 2025?
86% chance
Will an AI get gold on any International Math Olympiad by 2028?
93% chance
© Manifold Markets, Inc.•Terms•Privacy