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...