You still have to review LLM results. But LLMs let you skip all the boring parts - setting up harness, writing some initial inputs, adding asserts for every ou

You still have to review LLM results. But LLMs let you skip all the boring parts - setting up harness, writing some initial inputs, adding asserts for every output. And then _you_ get to do actually important stuff, like ensuring square has 4 vertices.