![](/_next/image?url=https%3A%2F%2Ffirebasestorage.googleapis.com%2Fv0%2Fb%2Fmantic-markets.appspot.com%2Fo%2Fdream%252Fl1qOzK13_I.png%3Falt%3Dmedia%26token%3D56a1a427-3707-41b0-abfa-0abbd255e35a&w=3840&q=75)
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
Basic
34
Ṁ5.8k2025
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 Ṁ600 play money
Sort by:
Related questions
Related questions
Will an AI get gold on any International Math Olympiad by the end of 2025?
69% chance
Will an AI score 1st place on IMO 2025?
24% chance
Will an AI get bronze or silver on any International Math Olympiad by end of 2025?
88% chance
Will an AI win a gold medal on IMO 2025?
65% chance
Will AI get at least bronze on the IMO by 2025?
94% chance
Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?
Will an AI win a Gold Medal on the International Math Olympiad by 2027?
83% chance
Will the first AI to get IMO gold use formal methods?
67% 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 be able to convert recent mathematical results into a fully formal proofs that can be verified by a mainstream proof assistant by 2025?
24% chance