[Kye]

This seems to apply easily to LLMs as language coprocessors that can output code. How long was it before people trusted compilers?

[sarchertech]

If you don't understand the difference between something that rigorously translates one formal language to another one and something that will spit out a completely different piece of software with 0 lines of overlap based on a one word prompt change, I don't know what to tell you.

[anthonyrstevens]

"rigorously" is doing a lot of heavy lifting here.

[sarchertech]

Let's substitute rigorously with "in an extremely thorough, careful, and methodical way."