Will any AI solve >=50 IMO problems by the start of 2024?
81
1.1kṀ12kresolved Feb 8
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 a 5x 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 | Ṁ506 | |
| 2 | Ṁ359 | |
| 3 | Ṁ326 | |
| 4 | Ṁ299 | |
| 5 | Ṁ148 |
People are also trading
Related questions
Will an AI get gold on any International Math Olympiad by the end of 2025?
50% chance
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
Will the AIMO (Artificial Intelligence Mathematical Olympiad) Grand Prize be won before 2026?
23% chance
Will any AI solve more than four of AI 2027 Marcus-Brundage tasks in 2025?
28% chance
Will a Millennium Prize problem be solved in the year 2025 with the help of AI?
3% chance
Will an AI be capable of achieving a perfect score on the Putnam exam before 2026?
22% chance
Will some Millennium Prize Problem be solved by AI before 2032?
35% chance