PIMS Network Wide Colloquium: Terence Tao

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.

Speaker biography:

Terence Tao is a Professor at the Department of Mathematics, UCLA, where he holds the James and Carol Collins Chair in the College of Letters and Sciences. He works in a number of mathematical areas but primarily in harmonic analysis, PDE, geometric combinatorics, arithmetic combinatorics, analytic number theory, compressed sensing, and algebraic combinatorics. Professor Tao is part of the Analysis Group at UCLA, and also an editor or associate editor at several mathematical journals.