Math 2.0

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 scheduled to be given back in May. It was postponed to October, and with recent events the talk changed significantly, but the old title and abstract remains on the Caltech web page.)

In this talk I lay out the historical “Math 1.0” state of mathematics, the current state induced by the excessive emphasis on automated solving of open problems by AI, and my vision for a future “Math 2.0” where AI tools are used to sustain both the internal mathematical community, and the role that mathematical understanding plays in advancing and aligning the applications of mathematics to the real world.

The content of this talk has also been incorporated into my (AI-maintained) living summary of my views on AI.