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

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

• krazemon estimated 66% on 2019-09-15
• crabman estimated 25% and said “If this challenge is cancelled or for some reason noone cares about it, then this prediction counts at false, right?” on 2019-09-15
• pranomostro estimated 50% and said “@crabman: I think it resolves as Unknown in that case.” on 2019-09-16
• krazemon said “pranomostro is correct (at least that’s how I intended it).” on 2020-02-19