This Wednesday (13 November 2024) at 15:00 at B404, we have the Mathematics and Theoretical Physics Seminar by Yang‐Hui He from the University of Oxford and City, University of London. After the seminar talk, there will be refreshments at the Connect Area on the 3rd floor of Spectra.
Title: The AI mathematician: from physics, to geometry, to number theory
Abstract: We summarize how AI an approach mathematics in three ways: theorem‐proving, conjecture formulation, and language processing. Inspired by initial experiments in geometry and string theory, we present a number of recent experiments on how various standard machine‐learning algorithms can help with pattern detection across disciplines ranging from algebraic geometry to representation theory, to combinatorics, and to number theory. At the heart of the programme is the question: how does AI help with mathematical discovery?
Prof. He has been at the forefront of applying techniques from AI/ML to various longstanding problems across mathematics and physics; take a look at his accessible surveys 2405.19973, 2303.12626, and 2101.06317.