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.