Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
33
134
Ṁ5.1KṀ650
2025
32%
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 Ṁ200 play money
Sort by:
Related questions
Will an AI win a gold medal on the IOI (competitive programming contest) before 2030?
69% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
62% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
63% chance
Will an AI get bronze or silver on any International Math Olympiad by end of 2025?
38% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
29% chance
Will an AI be able to convert recent mathematical results into a fully formal proofs that can be verified by a mainstream proof assistant by 2025?
23% chance
Will an AI get bronze on any International Math Olympiad by 2025?
42% chance
By 2025, will most well-educated people expect AI to within 10 years be better at intellectual work than 99% of humans?
19% chance