Simons Foundation Lectures

The 2025 lecture series in mathematics and computer science is “Discovering Mathematics Through Computers.” Computers are revolutionizing the way we explore mathematical concepts. In this series, mathematicians will discuss how computational techniques are enabling new approaches to developing conjectures and proving and verifying theorems. Topics will include algorithmic number theory, formal proof verification and the role of machine learning and computational simulations in uncovering new mathematical insights. These lectures will highlight the synergy between mathematics and computer science, illustrating how digital tools expand mathematical knowledge’s frontiers.