> The theoretical advance we're waiting for in LLMs is auditable determinism

I think this is a manifestation of machine thinking - the majority of buyers and users of software rarely ask for or need this level of perfection. Noise is everywhere in the natural environment, and I expect it to be everywhere in the future of computing too.

> the majority of buyers and users of software rarely ask for or need this level of perfection

You're right. Maybe just reliable replicability, then.

The core point is, the next step is the LLM talking directly to the control unit. No human-readable code in between. The prompts are the code.