Artificial Intelligence for Mathematical Discovery
This is a hybrid meeting. Please find the Teams link in the abstract.
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.

Bio:
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: teams.microsoft.com/l/meetup-join/19%3ameeting_YzllMzhlYzMtZDU1ZS00YzlkLWFkNmUtNTU4NjI2NzY0Mjg3%40thread.v2/0?context=%7b%22Tid%22%3a%22cc95de1b-97f5-4f93-b4ba-fe68b852cf91%22%2c%22Oid%22%3a%222d6d82c4-6b2c-4f77-b979-7c49923c3b36%22%7d
Date: 27 February 2024, 17:00 (Tuesday, 7th week, Hilary 2024)
Venue: Wolfson College, Linton Road OX2 6UD
Venue Details: Levett Room
Speaker: Daattavya Aggarwal (Cambridge)
Organising department: Wolfson College
Organisers: Mr Csaba Botos (University of Oxford), Dr. Yi Yin (University of Oxford)
Organiser contact email address: yi.yin@wrh.ox.ac.uk
Part of: Oxford Cross-Disciplinary Machine Learning (OxfordXML) Research Cluster Seminar Series
Booking required?: Not required
Cost: Free (cake, tea and coffee provided)
Audience: Public
Editor: Yi Yin