Alex Davies is a machine learning researcher at DeepMind, leading efforts to understand how machine learning can be used to solve fundamental problems and make new discoveries in mathematics.
He completed his PhD in machine learning at Trinity College, Cambridge in 2014 under Zoubin Ghahramani, which was awarded the outstanding thesis prize by G-Research.
As part of the G-Research Distinguished Speaker Series, Alex Davies was one of three speakers at the 2022 Computer Guided Mathematics Symposium, speaking alongside Sir Timothy Gowers (Professeur titulaire of the Combinatorics chair at the Collège de France) and Kevin Buzzard (Imperial College).
Machine Learning with Mathematicians
Alex’s talk delves into how machine learning can help mathematicians find new patterns in their research, with the aim of proving results and theorems across different areas of mathematics.
“Machines can spot these patterns far better than humans can,” says Alex. ”[But] the only way that this is going to scale and have a really big impact in mathematics is if people know about it and they see enough value to use it themselves.”