The monthly AI for Mathematical Sciences series, sponsored by Nebius, explores how AI is reshaping maths and theoretical physics, spotlighting clever applications and new approaches. ❧ Talks begin at 2 pm in our Faraday seminar room and discussion continues in the Old Post Room.

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
Confirmed speaker
Adam Zsolt Wagner is a mathematician and Google DeepMind researcher, working on AlphaEvolve and AI-driven mathematical reasoning.
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.