Oxford Events, the new replacement for OxTalks, will launch on 16th March. From now until the launch of Oxford Events, new events cannot be published or edited on OxTalks while all existing records are migrated to the new platform. The existing OxTalks site will remain available to view during this period.
From 16th, Oxford Events will launch on a new website: events.ox.ac.uk, and event submissions will resume. You will need a Halo login to submit events. Full details are available on the Staff Gateway.
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.
