> 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'

> 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.