Abstract

For the past few years, we have been intensively collaborating with mathematicians from Oxford and the University of Sydney. As a product of this collaboration, we have successfully demonstrated that analysing and interpreting the outputs of (graph) neural networks—trained on carefully chosen problems of interest—can directly assist mathematicians with conjecturing new approaches to long-standing open problems. Specifically, using our method we have independently derived novel top-tier mathematical results in areas as diverse as representation theory and knot theory.

By doing so, we present AI as the mathematician’s “pocket calculator of the 21st century”. The significance of our result has been recognised by the journal Nature, where our work featured on the cover page.

In this talk, we aim to tell you all about our findings, from a personal perspective. Expect key details of our modelling work + an account of how it felt to interact with top mathematicians.

We are asking those attending in person to please take a lateral flow test with a negative result before the talk.

Link to join virtually: https://cl-cam-ac-uk.zoom.us/j/97767639783?pwd=T09GcVJxZUNEUFEvRnZnbWwxeEwzQT09

This talk is being recorded.

A recording of this talk is available at the following link: https://www.cl.cam.ac.uk/seminars/wednesday/video/