Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
Standard
34
Ṁ5794Jan 1
20%
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:
Get
1,000
and1.00
Sort by:
Related questions
Related questions
Will an AI get gold on any International Math Olympiad by the end of 2025?
75% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
27% 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 win a gold medal on the IOI (competitive programming contest) before 2025?
9% chance
Will AI get at least bronze on the IMO by end of 2025?
82% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2029?
90% chance
Will the first AI to get IMO gold use formal methods?
69% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
65% chance
Will an AI get bronze or silver on any International Math Olympiad by end of 2025?
80% chance
Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?
78% chance