Machine assisted proofs
Terence Tao will be speaking on "Machine assisted proofs" as part of the PIMS Network-wide Colloquium Series.
Speaker: Terence Tao
Affiliation: UCLA
Location: Online
Date: Tuesday, September 10, 2024
Time: 2:00 p.m. (Pacific)
Title: Machine assisted proofs
Abstract: For centuries, mathematicians have relied on computers to perform calculations, to suggest conjectures, and as components of mathematical proofs. In the light of more modern tools such as interactive theorem provers, machine learning algorithms, and generative AI, we are beginning to see machines used in more creative and substantive ways in our work. In this talk we survey some historical and recent developments, and speculate on the future roles of machine assistance in mathematics.