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