ODSL Forum: The AI Mathematician (Yang-Hui He)

Friday 10 May 2024, 14:00 → 15:00 Europe/Berlin

Basement Seminar Room (Origins Building)

We summarize how AI can 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.