THE CURRENT AND PROJECTED IMPACT OF AI AND FORMALIZATION ON THE PRACTICE OF MATHEMATICS IS ANALOGOUS TO THE IMPACT THAT THE AUTOMOBILE HAD ON THE EVOLUTION OF CITIES

Summary from the TLDR AI newsletter

Thoughtful urban planning, as well as the development of social and legal rules on how to manage traffic, were necessary to allow pedestrian and automotive transport to co-exist in a way that retains the benefits of both.