I am uploading my slides to my public lecture “Math 2.0” that I gave yesterday evening at Caltech. (The talk was planned over a year ago, and was initially titled “Machine Assisted Proof” and ...