At Stanford's Future of Mathematics Symposium (May 1–2, 2026), AI shifts from calculator to collaborator while formal methods guard every step of the proof. This episode unpacks frontier reasoning, human–AI partnerships, and the visions of leaders like Tao, Barrett, Luong, and Bubeck as we move toward AI-assisted mathematical discovery—and the translation of new insights into language our human brains can understand.

Note:  This podcast was AI-generated, and sometimes AI can make mistakes.  Please double-check any critical information.

Sponsored by Embersilk LLC