There is a finite capacity/time for a human mind to do difficult shit, if it can be slop forked in a microsecond before you even get to flesh it out there is no point
replyThen you have time to invent some new difficult shit.
reply3Blue1Brown: The last IMO problem AI could not solve: