@tao In this analogy, I think the new discipline would need to be called something like "mathematics infrastructure planning" rather than "AI planning", just as urban planning is (hopefully!) not merely "car planning".