Depends on what limits you place on the definition of 'compiler'.

Optimizing via better algorithmic choices is a semi-deterministic process performed by a human. Why can't a computer do it too?

Code is just your way of telling the computer your intentions. Once it can understand those deeply, well, it can choose a better way to achieve those intentions.