AI's impact on mathematics is analogous to the car's impact on cities
Lobste.rs AI
•
Generative AI
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. Before the