O impacto atual e projetado da IA e da formalização na prática da matemática é análogo ao impacto que o automóvel teve na evolução das cidades

Planejamento urbano cuidadoso, bem como o desenvolvimento de regras sociais e legais sobre como gerenciar o tráfego, foram necessários para permitir que o transporte pedestre e automotivo coexistissem de forma a reter os benefícios de ambos.