Simons Foundation Lectures
Mathematics and Computer Science: Discovering Mathematics Through Computers
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.
Past Lectures
Do Mathematicians Need Computers?
Martin Hairer, Ph.D.Professor of Pure Mathematics , École Polytechnique Fédérale de Lausanne
Imperial College London
Martin Hairer, Ph.D.Professor of Pure Mathematics , École Polytechnique Fédérale de LausanneImperial College London
- Lecture
- Watch Video
Neural Networks for Mathematical Discovery
Geordie Williamson, Ph.D.Director of the Sydney Mathematical Research Institute and Professor of Mathematics , University of Sydney
Geordie Williamson, Ph.D.Director of the Sydney Mathematical Research Institute and Professor of Mathematics , University of Sydney - Lecture
- Watch Video
Where is Mathematics Going?
Kevin Buzzard, Ph.D.Professor of Pure Mathematics Department of Mathematics - Faculty of Natural Sciences, Imperial College London
Kevin Buzzard, Ph.D.Professor of Pure Mathematics Department of Mathematics - Faculty of Natural Sciences, Imperial College London - Lecture
- Watch Video
Wave Localization and the Hidden Structure of Disorder
Svitlana Mayboroda, Ph.D.McKnight Presidential Professor, University of Minnesota
Svitlana Mayboroda, Ph.D.McKnight Presidential Professor, University of Minnesota - Lecture
Databases and Discovery in Arithmetic
Brendan Hassett, Ph.D.Jonathan Nelson University Professor of Mathematics
Director of the Institute for Computational and Experimental Research in Mathematics, Brown University
Brendan Hassett, Ph.D.Jonathan Nelson University Professor of MathematicsDirector of the Institute for Computational and Experimental Research in Mathematics, Brown University
- Lecture
- Watch Video
Verified Collaboration: How Lean is Transforming Mathematics, Programming, and AI
Leonardo de Moura, Ph.D.Senior Principal Applied Scientist, Automated Reasoning Group, Amazon Web Services
Leonardo de Moura, Ph.D.Senior Principal Applied Scientist, Automated Reasoning Group, Amazon Web Services - Lecture
- Watch Video