>rather than giving it in a well-specified and tested form

So, code?

This is a truth that many are having a hard time accepting. Getting shoved into the light so fast is blinding.

Because the LLM version will have countless number of bugs and security holes, which means you will spend weeks or months of your life fixing them.

Because it’s rarely so black and white. Knowing the inputs and outputs is merely the first steps, you need to think about the transitions too as they have their own costs.

Those costs don’t disappear and it’s truly naive to think they don’t matter. Take security issues, they may arise because what you thinks was the input is merely a subset of the true input range. And the extra possibilities lead to unforeseen behavior.

A lot of programming is about ensuring that the input and the output are the sets defined in the specs. And the rest is that the transition/relation is the right tradeoffs of performance, correctness, and costs.