> there is a big difference between being able to verify the output of a system is correct, and being able to tell a system how to generate the correct output to begin with.

There are attempts to avoid needing to explicitly construct the rules. This is often called "Programming by example".

https://en.wikipedia.org/wiki/Programming_by_example

On some level, even training an LLM to answer questions is this. I do like my determinism, though.

Vibecoding with human-managed acceptance is a very current-moment way of doing this. Just make sure the agent has to program within a framework, not changing it, and the results are actually pretty good.

One of the interesting things one can do with this mentality, if you set up your system well, is to reevaluate prior decisions with new rules, and decide whether any differing decisions are corrections for prior bad decisions, or newly-introduced bugs.