Someone will succeed at the IMO grand challenge (https://imo-grand-challenge.github.io) in the next 20 years.
Created by krazemon 30 days ago; known on 2039-09-15
- krazemon estimated 66% 30 days ago
- 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?” 30 days ago
- pranomostro estimated 50% and said “@crabman: I think it resolves as Unknown in that case.” 29 days ago
Please log in to respond to or judge prediction