Terence Tao - Machine-Assisted Proofs (February 19, 2025)

In this Presidential Lecture, Terence Tao will survey historical and recent developments in the use of machines in mathematics. He will also speculate on the future roles of machine assistance in the field. For more information, please visit: https://www.simonsfoundation.org/even...