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.

  • Machine learning, string theory and particle physics

    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.

  • Discovery of unstable singularities

    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.