Floris van Doorn
Time between AI winning IMO gold medal and AI winning IMO grand challenge (see description)
9
515
Ṁ2431
2100