What AI Means for Mathematics with David Zureick-Brown

David Zureick-Brown discusses how AI is changing mathematical research, from helping mathematicians discover new approaches and counterexamples to improving clarity and exploring problems that were previously difficult to tackle.
He also examines the challenges AI creates for mathematical norms around collaboration, attribution, credit, and trust.
Looking ahead, he considers both the exciting possibility of AI expanding our ability to understand mathematics and the more unsettling possibility that mathematics could become so easily solvable that it loses some of what makes it intellectually meaningful.