> Are LLMs not already compilers? They translate human natural language to code pretty well now.

Can you formally verify prose?

> But yeah, they probably don't fit the bill of English based code to machine code

Which is why LLMs cannot be compilers that transform code to machine code.