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
Mini
4
Ṁ750
2100