BEGIN:VCALENDAR
VERSION:2.0
PRODID:talks.ox.ac.uk
BEGIN:VEVENT
SUMMARY:Artificial Intelligence for Mathematical Discovery - Daattavya Agg
arwal (Cambridge)
DTSTART;VALUE=DATE-TIME:20240227T170000Z
DTEND;VALUE=DATE-TIME:20240227T180000Z
UID:https://talks.ox.ac.uk/talks/id/764fa83c-965f-4453-916c-3c6b41326cae/
DESCRIPTION:Abstract:\nProgress in mathematics often involves observing a
large number of well distributed examples\, postulating conjectures and ri
gorously proving them. In a physicist’s language\, this is a “top-down
” approach and many spectacular results in both these disciplines have b
een 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 fi
eld and our ongoing research by focusing on two case studies. I will prese
nt our AI guided conjecture generation framework which has been used to di
scover new results in multiple domains of math. I will also show how techn
iques such as supervised learning and symbolic regression can be utilized
for this purpose in the context of string geometry.\n\nBio:\nDaattavya’s
research interests are at the intersection of mathematical physics and ma
chine intelligence. His main focus is on developing tools for the discover
y of new mathematics and analyzing their structure. Other ongoing work inc
ludes studying interesting geometries that arise in string theory and math
ematical physics\, often through the application of machine learning techn
iques. Before joining Cambridge\, Daattavya graduated with an MSc. in Math
ematical and Theoretical Physics from the University of Oxford where his d
issertation was on Calabi-Yau Manifolds and Mirror Symmetry.\n\nTeams link
: https://teams.microsoft.com/l/meetup-join/19%3ameeting_YzllMzhlYzMtZDU1Z
S00YzlkLWFkNmUtNTU4NjI2NzY0Mjg3%40thread.v2/0?context=%7b%22Tid%22%3a%22cc
95de1b-97f5-4f93-b4ba-fe68b852cf91%22%2c%22Oid%22%3a%222d6d82c4-6b2c-4f77-
b979-7c49923c3b36%22%7d\nSpeakers:\nDaattavya Aggarwal (Cambridge)
LOCATION:Wolfson College (Levett Room)\, Linton Road OX2 6UD
TZID:Europe/London
URL:https://talks.ox.ac.uk/talks/id/764fa83c-965f-4453-916c-3c6b41326cae/
BEGIN:VALARM
ACTION:display
DESCRIPTION:Talk:Artificial Intelligence for Mathematical Discovery - Daat
tavya Aggarwal (Cambridge)
TRIGGER:-PT1H
END:VALARM
END:VEVENT
END:VCALENDAR