Will any AI solve >=100 IMO problems by the start of 2024?
16
330Ṁ3489resolved Jan 3
Resolved
NO1H
6H
1D
1W
1M
ALL
Hyper Tree Proof Search (Meta's math model from May 2022 (which they released some press about in November)) solved 10 IMO problems. Will we see an order of magnitude improvement within one year?
Obviously the IMO problems must not be part of the training dataset.
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ147 | |
| 2 | Ṁ73 | |
| 3 | Ṁ52 | |
| 4 | Ṁ16 | |
| 5 | Ṁ15 |
People are also trading
Related questions
Will an AI get gold on any International Math Olympiad by the end of 2025?
48% chance
Will an AI win a gold medal on International Math Olympiad (IMO) 2025?
39% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
10% chance
Will an AI get a perfect score in IMO 2025
10% chance
Will an AI score 1st place on International Math Olympiad (IMO) 2025?
11% chance
Will an AI get gold at the IMO? (no time restrain)
51% 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 get silver on any International Math Olympiad by 2025?
84% chance
Will an AI get bronze on any International Math Olympiad by 2025?
86% chance
Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?
98% chance