AI for the Working Mathematician

Speaker: Ken Ono, Axiom Math and University of Virginia

Title: Mathematics in the Age of AI: Discovery, Verification and the Future of Proof

Abstract: How is artificial intelligence changing mathematics? Drawing on my mathematical journey and recent work at Axiom Math, I will discuss the discovery of new theorems and the formalization of major bodies of mathematics, including the Classification of Finite Simple Groups and the Stacks Project. These examples raise fundamental questions about proof, trust, and the enduring role of human creativity.