Akshay Venkatesh: What do we tell our students about AI?

Part of the symposium Mathematics in the age of Automated Proofs at Leiden University. Made possible by the generosity of the the Lorentz Center, the Dutch Research Council (NWO), the European Research Council (ERC), Computer Algebra Netherlands, the SAILS initiative at Leiden University, Platform Wiskunde Nederland, DIAMANT, Utrecht University, the University of Amsterdam.