Indeed, you have to prove that the LLM is generating code from a specification. Right now they don’t do that; what they do is regurgitate portions of their trai

Indeed, you have to prove that the LLM is generating code from a specification. Right now they don’t do that; what they do is regurgitate portions of their training data based on correlations with input tokens. Put the programmer’s reference for the Digital Equipment DEQNA QBus Ethernet adapter in your favorite slop tool and tell it to make a C or C++ implementation for an emulator, and you know what you get? Code from SIMH. That’s not “generating,” that’s “copying.”