“A hybrid human-AI programmer will ultimately out-engineer the best pure AI systems.”