Floris van Doorn
Time difference between AI winning a gold medal on the IMO and AI producing a formalized proof that wins a gold medal
Basic
4
Ṁ750
2100