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
Please log in to respond to or judge prediction