blog — Terence Tao — 10 Oct 2026
Math 2.0
#ai-assisted-mathematics #mathematical-research #proof-formalization
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 […]