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,000
and3.00
Sort by:
Related questions
Related questions
Will an AI get gold on any International Math Olympiad by the end of 2025?
71% chance
Will an AI win a gold medal on the IOI (competitive programming contest) before 2025?
7% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
48% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
30% chance
Will AI get at least bronze on the IMO by end of 2025?
84% chance
Will the first AI to get IMO gold use formal methods?
70% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
61% chance
Will an AI get bronze or silver on any International Math Olympiad by end of 2025?
78% chance
Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?
78% chance
Will an AI be capable of achieving a perfect score on the Putnam exam before 2028?
56% chance