ICMS 2024 Session

Machine Learning within
Computer Algebra Systems

ICMS 2024 Home Page — Session Home Page

Tom Oliver — Machine Learning for Number Theory

Abstract

There is a strong tradition of computation in number theory, with notable data-driven insights including the prime number theorem and the conjecture of Birch and Swinnerton-Dyer. A huge arithmetic online database known as the LMFDB went live in the mid-2010s. We began applying supervised and unsupervised learning methodologies to the LMFDB in 2020, taking a data scientific perspective on old problems, and discovering surprising new structures in arithmetic statistics known as "murmurations". In this talk, I will outline the highlights of this programme and place it in the context of other emergent strategies for machine-assisted mathematical discovery.