Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?
Plus
39
Ṁ15kresolved Jul 21
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.
Get Ṁ1,000 play money
🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ600 | |
| 2 | Ṁ546 | |
| 3 | Ṁ531 | |
| 4 | Ṁ312 | |
| 5 | Ṁ258 |
Sort by:
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.
Related questions
Related questions
Will an AI get bronze or silver (but not gold) on any International Math Olympiad by end of 2025?
71% chance
Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?
97% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
3% chance
Will AI get BOTH gold and either bronze or silver on the IMO by end of 2025?
74% chance
Will an AI get a perfect score in IMO 2025
2% chance
Will an AI get gold on this Olympiad by the end of 2025?
Will the AIMO (Artificial Intelligence Mathematical Olympiad) Grand Prize be won before 2026?
17% chance
When will an open-sourced AI win a Gold Medal in the International Math Olympiad?