Future of Mathematics Symposium

The Future of Mathematics Symposium, held at Stanford University on May 1-2.

The twin revolutions in artificial intelligence and formal methods are transforming mathematics.  World-renowned mathematicians, computer scientists, and AI researchers convene 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.

The symposium was co-sponsored by Stanford HAI, SISL, in partnership with the Futures of Mathematics Institute (FMI), with support from Renaissance Philanthropy, BroadRiver Asset Management, OpenAI, and KeyBank.