Even near-perfect LLMs would benefit from the compiler optimizations that types allow.
However perfect LLMs would just replace compilers and programming languages above assembly completely.
However perfect LLMs would just replace compilers and programming languages above assembly completely.
It's not just that humans aren't good at thinking in assembly language or binary, but the operations are much more granular and so it requires a lot of operations to do express something as simple as a for-loop or a function call.
I think the perfect AI might actually come up with a language closer to Python or JavaScript.