[nimithryn]

I think that the problem is, at the end of the day, the engineer must specify exactly what they want the program to do.

You can do this in Python, or you can do this in English. But at the end of the day the engineer must input the same information to get the same behavior. Maybe LLMs make this a bit more efficient but even in English it is extremely hard to give exact specification without ambiguity (maybe even harder than Python in some cases).