AI will have the effect of shifting development effort from authorship to verification. As you note, we've come a long way towards making the writing of the cod

AI will have the effect of shifting development effort from authorship to verification. As you note, we've come a long way towards making the writing of the code practically free, but we're going to need to beef up our tools for understanding code already written. I think we've only scratched the surface of AI-assisted program analysis.