Our monthly AI for Mathematical Sciences seminar series, sponsored by Nebius, explores how AI is reshaping mathematics and theoretical physics. The talks start in our Faraday seminar room, usually on a Thursday, with discussion afterwards over coffee in the Old Post room.

AIMS10 Nov
Confirmed speaker
Gergely Bérczi is an associate professor of mathematics at Aarhus University and head of the Aarhus DFF Algebraic Geometry Group.

AIMS19 Oct
What maths means to us
Geordie Williamson explores what AI’s rise reveals about how humans do mathematics, from definitions and prediction to the role of geometry.

AIMS14 May
AI meets string theory
Andre Lukas shows how machine learning tackles string theory’s vast data, uncovering patterns, exploring its landscape and solving equations.
AIMS23 Apr
Unstable singularities
Javier Gómez-Serrano shows how machine learning uncovers unstable singularities in fluid dynamics equations, achieving near-maximal accuracy.
AIMS2 Apr
New maths with AI
Adam Zsolt Wagner discusses how AI-driven search in language space accelerates mathematical discovery and progress on long-standing problems.
AIMS9 Mar
Formal proofs with AI
Kevin Buzzard opens AIMS with his views on what a new era of formalised maths, Lean and AI—verified proofs mean for the future of research.