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.

AIMS23 Apr
Confirmed speaker
Javier Gómez Serrano is a professor of mathematics at Brown University. He also collaborates with Google DeepMind to advance maths with AI.

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.