Peter Naur's concept of programming as theory building becomes even more crucial in the age of AI coding assistants, and this blog post argues that maintaining robust mental models is essential when working with tools that generate code for us. It offers practical strategies for developers to integrate AI assistance while preserving the deep understanding that Naur recognized as the true essence of programming.