CRM Colloquium by Terence Tao: "Machine Assisted Proofs"

Abstract: For centuries, mathematicians have utilized computers for calculations and conjectures. However, with the advent of interactive theorem provers, machine learning, and generative AI, machines are beginning to play a more creative role in mathematical discovery. In this talk, Terence Tao surveys historical and recent advancements in machine-assisted proofs and speculates on their future roles in mathematics. Recorded on September 18, 2024, at the Institut d'Estudis Catalans. Speaker: Terence Tao, University of California, Los Angeles. More information: https://www.crm.cat/crm-colloquium-by-terence-tao/