What's the Future for Pure Math Research in the Age of AI?
The article discusses potential shifts in research practices, the integration of AI tools into theorem proving, the impact on training new mathematicians, and debates about the nature of mathematical insight in an AI-assisted era. It also considers ethical questions, funding priorities, and the balance between automated discovery and human creativity, while highlighting examples of AI-generated conjectures and collaborative projects between mathematicians and machine learning researchers.