The monthly AI for Mathematical Sciences seminar series, sponsored by Nebius, explores how AI is reshaping maths and theoretical physics, highlighting inventive applications and approaches. ❧ Talks begin at 2 pm in our Faraday seminar room, with discussion continuing afterwards.

AIMS2 Sep
Confirmed speaker
Ken Ono is founding mathematician of AI-startup Axiom Math. Formerly, he was a professor of mathematics at the University of Virginia.

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.