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

2026-03-20

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.