Well then you have time to invent some new difficult shit.

3Blue1Brown: The last IMO problem AI could not solve:

https://www.youtube.com/watch?v=Nbwv5wHQoj0