Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
Plus
35
Ṁ5897Jan 1
17%
chance
1D
1W
1M
ALL
No restrictions on the language it formalizes them into.
Clarification: this is only formalizing the problem statement. It does not have to solve them in any way.
Related markets:
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00Sort by:
Related questions
Related questions
Will an AI get gold on any International Math Olympiad by the end of 2025?
86% chance
Will an AI win a gold medal on the IOI (competitive programming contest) before 2025?
12% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
60% chance
Will the first AI to get IMO gold use formal methods?
54% chance
Will the "AI get gold on any IMO by the end of 2025" market resolve YES before the 2025 IMO?
32% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
37% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2027?
87% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
80% chance
Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?
80% chance
Will AI get at least bronze on the IMO by end of 2025?
90% chance