Our monthly AI for Mathematical Sciences seminar series, sponsored by Nebius, explores how AI is reshaping mathematics and theoretical physics. The talks start in our Faraday seminar room, usually on a Thursday, with discussion afterwards over coffee in the Old Post room.

  • Confirmed speaker

    AIMS10 Nov

    Confirmed speaker

    Gergely Bérczi is an associate professor of mathematics at Aarhus University and head of the Aarhus DFF Algebraic Geometry Group.

  • AI and the process of human mathematics

    AIMS19 Oct

    What maths means to us

    Geordie Williamson explores what AI’s rise reveals about how humans do mathematics, from definitions and prediction to the role of geometry.

  • 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.

  • 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.