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

Created by krazemon 29 days ago; known on 2024-09-15

• krazemon estimated 20% 29 days ago
• crabman estimated 8% 29 days ago
• pranomostro estimated 10% 28 days ago

Please log in to respond to or judge prediction