University of Cambridge > Talks.cam > Wednesday Seminars - Department of Computer Science and Technology  > AI x Mathematics

AI x Mathematics

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Ben Karniely.

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/

This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

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