University of Cambridge > Talks.cam > Artificial Intelligence Research Group Talks (Computer Laboratory) > Advancing mathematics by guiding human intuition with AI

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Advancing mathematics by guiding human intuition with AI

Download to your calendar using vCal

If you have a question about this talk, please contact Mateja Jamnik .

Join us on Zoom

Can machine learning be a useful tool for research mathematicians? In this talk we discuss the results of our recent Nature paper, where we work together with top mathematicians to use machine learning to discover and prove a new connection in topology, and conjecture a resolution to a 50-year problem in representation theory. We believe that there is a lot of low hanging fruit to be found by working together with pure mathematicians to make new discoveries.

Bio: Alex Davies completed his PhD under Zoubin Ghahramani in 2014 and has previously worked on a musical, as a machine learning consultant to product teams and lecturer for Google Research and launching one of the first ML systems in the core of Android OS. For the last three years he has led the AI + Maths initiative at DeepMind.

This talk is part of the Artificial Intelligence Research Group Talks (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Rutherford Seminar Room B Semantics and Pragmatics Research Group Average on weekdays: 8940.81102362 kWh

Other talks

Beyond Hubble: Studying the Earliest Galaxies with the James Webb Space Telescope Nationalising Oil and Knowledge in Iran: Labour, Decolonisation and Colonial Modernity, 1933–51 Chemical strategies for biomolecule functionalisation, and biomaterial conjugation The Magic of Magnetism Morning Break When Programmes Disagree About Programmes: Code Poetry and the Problem of Programme–Programme Communication
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity