Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?

39

1kṀ15k

resolved Jul 21

1H

6H

1D

1W

1M

ALL

100%96%

Yes/Yes

3%

Yes/No

0.4%

No/Yes

0.3%

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.

Technical AI Timelines

IMO Grand Challenge

Get

1,000

to start trading!

🏅 Top traders

#	Name	Total profit
1		Ṁ600
2		Ṁ546
3		Ṁ531
4		Ṁ312
5		Ṁ258

People are also trading

Will an AI get bronze or silver (but not gold) on any International Math Olympiad by end of 2025?

Will an AI score 1st place on International Math Olympiad (IMO) 2025?

Will an AI get a perfect score in IMO 2025

Will an AI get gold on this Olympiad by the end of 2025?

Will AI get BOTH gold and either bronze or silver on the IMO by end of 2025?

Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?

Will the AIMO (Artificial Intelligence Mathematical Olympiad) Grand Prize be won before 2026?

When will an open-sourced AI win a Gold Medal in the International Math Olympiad?

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 bronze or silver (but not gold) on any International Math Olympiad by end of 2025?

+14% 1d62% chance

Will an AI score 1st place on International Math Olympiad (IMO) 2025?

Will an AI get a perfect score in IMO 2025

Will an AI get gold on this Olympiad by the end of 2025?

Will AI get BOTH gold and either bronze or silver on the IMO by end of 2025?

Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?

Will the AIMO (Artificial Intelligence Mathematical Olympiad) Grand Prize be won before 2026?

When will an open-sourced AI win a Gold Medal in the International Math Olympiad?

Related questions

Will an AI get bronze or silver (but not gold) on any International Math Olympiad by end of 2025?

Will an AI score 1st place on International Math Olympiad (IMO) 2025?

Will an AI get a perfect score in IMO 2025

Will an AI get gold on this Olympiad by the end of 2025?

Will AI get BOTH gold and either bronze or silver on the IMO by end of 2025?

Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?

Will the AIMO (Artificial Intelligence Mathematical Olympiad) Grand Prize be won before 2026?

When will an open-sourced AI win a Gold Medal in the International Math Olympiad?

© Manifold Markets, Inc.•Terms•Privacy