Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
35
1kṀ5897resolved Apr 3
Resolved
NO1H
6H
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 to start trading!
1,000🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ135 | |
| 2 | Ṁ75 | |
| 3 | Ṁ56 | |
| 4 | Ṁ52 | |
| 5 | Ṁ42 |
People are also trading
Related questions
Will an AI get gold on any International Math Olympiad by the end of 2025?
45% chance
Will an AI get a perfect score in IMO 2025
6% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
38% chance
AI IMO 2025: How many AI labs announce a Gold performance at the IMO in 2025?
Will an AI get gold at the IMO? (no time restrain)
52% chance
Will the best AI score on the IMO 2025 be more like AlphaProof or o3?
In what year will AI achieve a score of 95% or higher on the USAMO benchmark?
6/8/28
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
10% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
11% chance
Will the "AI get gold on any IMO by the end of 2025" market resolve YES before the 2025 IMO?
1% chance