编程（使用AI智能体）作为理论构建

本文探讨了Peter Naur的"编程即理论构建"观点在AI时代的意义。作者认为，虽然AI工具可能减少开发者构建详细心智模型的需求，但程序员仍然需要保持对系统运作方式的理解。AI智能体能够构建局部理论，但无法长期保留这些理论，这是当前AI编程工具的主要局限。