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