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

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

• krazemon estimated 20% on 2019-09-15
• crabman estimated 8% on 2019-09-15
• pranomostro estimated 10% on 2019-09-16
• krazemon said “Note: intended to be conditional so resolves as unknown in the case of disappearance (sorry that was unclear).” on 2020-02-19
• Baeboo estimated 15% on 2020-02-19
• ejh3141 estimated 10% on 2020-02-20