Our Presidential Lecture with Terence Tao on "Machine-Assisted Proofs" is now available to watch online: www.simonsfoundation.org/event/machin... #math #AI