Databases and Discovery in Arithmetic
- Speaker
-
Brendan Hassett, Ph.D.Jonathan Nelson University Professor of Mathematics
Director of the Institute for Computational and Experimental Research in Mathematics, Brown University
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.
2025 Lecture Series Themes
Biology: Mechanisms of Evolution
Mathematics and Computer Science: Discovering Mathematics Through Computers
Presidential Lectures are a series of free public colloquia spotlighting groundbreaking research across four themes: neuroscience and autism science, physics, biology, and mathematics and computer science. These curated, high-level scientific talks feature leading scientists and mathematicians and are designed to foster discussion and drive discovery within the New York City research community. We invite those interested in these topics to join us for this weekly lecture series.
Arithmetic geometry is at the heart of pure mathematics, and modern computing power and algorithms are transforming the field. Massive parallel computations are now routinely used to construct large data sets and solve long-standing open problems. At the same time, sites like the L-Functions and Modular Forms Database are resources for anyone curious about number theory. Such databases also offer training data for machine-learning approaches to research problems.
In this Presidential Lecture, Brendan Hassett will survey how such datasets are created and maintained, their value to the community, the potential for future breakthroughs and implications for the future of mathematical research.