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?
69% chance
Will AI get at least bronze on the IMO by end of 2025?
80% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
60% chance
Will an AI win a gold medal on the IOI (competitive programming contest) before 2025?
5% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
25% 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?
65% chance
Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?
78% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2027?
79% chance
Will an AI be capable of achieving a perfect score on the Putnam exam before 2028?
65% chance