Artificial Intelligence for Mathematical Discovery

This is a hybrid meeting. Please find the Teams link in the abstract.

Progress in mathematics often involves observing a large number of well distributed examples, postulating conjectures and rigorously proving them. In a physicist’s language, this is a “top-down” approach and many spectacular results in both these disciplines have been discovered through this process. Artificially intelligent machines are now able to both support and in limited instances outperform conventional mathematics. In this talk, I will give an overview of this burgeoning field and our ongoing research by focusing on two case studies. I will present our AI guided conjecture generation framework which has been used to discover new results in multiple domains of math. I will also show how techniques such as supervised learning and symbolic regression can be utilized for this purpose in the context of string geometry.

Daattavya’s research interests are at the intersection of mathematical physics and machine intelligence. His main focus is on developing tools for the discovery of new mathematics and analyzing their structure. Other ongoing work includes studying interesting geometries that arise in string theory and mathematical physics, often through the application of machine learning techniques. Before joining Cambridge, Daattavya graduated with an MSc. in Mathematical and Theoretical Physics from the University of Oxford where his dissertation was on Calabi-Yau Manifolds and Mirror Symmetry.

Teams link: