The issue though is that while LLMs are good at translation, they aren't good at correctness, because by definition the stuff they generate is somewhat stochast

The issue though is that while LLMs are good at translation, they aren't good at correctness, because by definition the stuff they generate is somewhat stochastic (they have several answers to a problem with different rating on each one being correct). For generating machine code, there needs to be one output that is the correct answer. Its much easier in the short term to generate larger snippets of Python code based on prompts and let the programmer fine tune it