One million lines of code were written and refined by AI to create software now running on millions of machines. Paul Dix argues that combining AI with a strict verification system enables the production of highly sophisticated software. This proves that iterative refinement beats one-shot generation. Developers should prioritize building robust verification loops for agentic workflows.