AI and Mathematics
How AI is Changing Formal Mathematics and the Way Mathematicians Work
Jeremy Avigad
Professor of Philosophy and Mathematical Sciences
Director, Charles C. Hoskinson Center for Formal Mathematics
Carnegie Mellon University
About the Lecture
This lecture will discuss the convergence of proof assistants such as Lean, large mathematical libraries, automated reasoning, and modern AI, what mathematical work can be delegated to machines, why formal verification differs from merely getting an answer, and how these tools may change the creation, checking, and communication of mathematics.
About the Speaker
Forthcoming.