Seminar series
Date
Thu, 28 May 2026
16:00
16:00
Location
Lecture Room 4
Speaker
Yang-Hui He
Organisation
London Institute for Mathematical Sciences
We argue how AI can assist mathematics in three ways: theorem-proving, conjecture formulation, and language processing.
Inspired by initial experiments in geometry and string theory in 2017, we summarize how this emerging field has grown over the past years, and show how various 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 theoretical discovery, and the implications for the future of mathematics.