Someone will succeed at the IMO grand challenge (https://imo-grand-challenge.github.io) in the next 10 years.

Created by krazemon on 2019-09-15; known on 2029-09-15

• krazemon estimated 25% on 2019-09-15
• crabman estimated 13% on 2019-09-15
• pranomostro estimated 16% on 2019-09-16
• Leo estimated 10% on 2021-12-03