"Pretty soon, competition math, competition coding, is not going to be interesting anymore.

I'll be disappointed if we don't have a model out by next year that anybody can use to get a perfect score on the IMO (International Math Olympiad)."