"Plain" compilers are just translating from one notation to another, so they aren't. But optimizing compilers that analyze your code and find that portion of y

"Plain" compilers are just translating from one notation to another, so they aren't. But optimizing compilers that analyze your code and find that portion of your code can be rewritten to make the produced executable more efficient? I'd say it sound a lot like AI, yeah. I woulnd't be shocked if someone told me "gcc's -O3 option uses AI techniques".