Watch the Event Recordings

Overview

Join us May 1-2, 2026 for the Future of Mathematics Symposium, organized in partnership with the Futures of Mathematics Institute (FMI), a nonprofit corporation organized under [state] law, intending to apply for recognition under IRC §501(c)(3), and co-sponsored by Renaissance Philanthropy, BroadRiver Asset Management, OpenAI, KeyBank, and Stanford HAI.The twin revolutions in artificial intelligence and formal methods are transforming mathematics. Stanford is convening world-renowned mathematicians, computer scientists, and AI researchers for a series of focused lectures and panel discussions.

The Symposium will examine how machine learning, formal verification, and frontier reasoning models are starting to reshape mathematical practice. Participants will explore innovative uses of AI in pure and applied mathematics, shedding light on the emerging era in which AI serves as proof assistant, collaborator, and engine for mathematical discovery. This is a critical moment to shape the future of the field.

Agenda

Friday, May 1, 2026 

9:00 – 9:10: Welcome & Opening  

9:10 – 9:45: Leonardo de Moura, Amazon (Machine-Checked Mathematics in the Age of AI)

9:50 – 10:25: Spotlight: Clark Barrett, Stanford (CSLib: Building a Platform for AI-assisted Formal Verification in Lean)

10:25 – 10:40: Break

10:40 – 11:30: Keynote: Michael Freedman, Harvard (Compression Is All You Need: Modeling Mathematics)

11:35 – 12:10: Spotlight: Kevin Buzzard, Imperial (On Autoformalisation)

12:15 – 1:45: Lunch

1:45 – 2:20: Spotlight: Andrea Bertozzi, UCLA (A foray into AI for Mathematics)

2:25 – 3:00: Spotlight: Adam Brown, DeepMind (A.G.I. and the Future of Reasoning)

3:00 – 3:15: Break

3:15 – 4:00: Spotlight: Deirdre Haskell, Fields Institute (Mathematical AI at the Fields Institute)

4:00 – 4:15: Break

4:15 – 5:00: Panel: Formal and Informal Methods 

• Sanjeev Arora, Princeton

• Clark Barrett, Stanford

• Leonardo de Moura, Amazon

• Sergei Gukov, Caltech

Saturday, May 2, 2026 

9:00 – 9:10: Welcome & Opening

9:10 – 9:45: Spotlight: Sébastien Bubeck, OpenAI (Probability, combinatorics and optimization from GPT-5 to GPT-5.5)

9:50 – 10:25: Spotlight: Sanjeev Arora, Princeton [Rethinking thoughts: Power of self-reflection for AI (and humans)]

10:25 – 10:35: Break

10:35 – 11:25: Keynote: Terence Tao, UCLA (New mathematical workflows)

11:30 – 12:05: Spotlight: Thang Luong, DeepMind (Towards AI Superhuman Reasoning: from neuro-symbolic to foundational models)

12:05 – 1:35: Lunch

1:35 – 2:25: Keynote: Maryna Viazovska, EPFL (Formalizing the sphere packing problem)

2:30 – 3:05: Spotlight: Sergei Gukov, Caltech (AI tools for long-horizon, sparse-reward tasks)

3:05 – 3:15: Remarks from Ravi Vakil, Stanford

3:15 – 4:00: Panel: AI for Mathematics

• Mohammed Abouzaid, Stanford

• Adam Brown, DeepMind

• Thang Luong, DeepMind

• Ravi Vakil, Stanford

4:00 – 4:15: Break

4:15 – 5:00: Panel: Fields Medalist Roundtable

• Deirdre Haskell, Fields Institute 

• Terence Tao, UCLA

• Ravi Vakil, Stanford

• Maryna Viazovska, EPFL

Organized in partnership with the Futures of Mathematics Institute (FMI), a 501(c)(3) public charity.