Comment by prmph

Not really a counter-argument.

The abstraction over assembly language is solid; compilers very rarely (if at all) fail to translate high level code into the correct assembly code.

LLMs are nowhere near the level where you can have almost 100% assurance that they do what you want and expect, even with a lot of hand-holding. They are not even a leaky abstraction; they are an "abstraction" with gaping holes.