Artificial intelligence is rapidly reshaping mathematical research. Recent advances in foundation models have led to powerful systems for theorem proving, automated formalisation in proof assistants such as Lean, and conjecture generation, while machine learning methods are opening new directions for analysing large mathematical datasets, identifying hidden structure such as elliptic curve murmurations. Alongside developments in academia, commercial research laboratories are developing AI tools for mathematical reasoning and scientific discovery. Examples include DeepMind’s AlphaEvolve and Axiom Maths’ Axolver and Axplorer.
This workshop will bring together academic and industry leaders working at the interface of mathematics and artificial intelligence to exchange ideas, showcase emerging technologies, and assess both the opportunities and the limitations of current tools and methods. In addition to invited talks, the programme will include specialist working groups focused on technical challenges and collaborative projects, providing opportunities to develop new approaches and initiate joint research. By bringing together researchers from mathematics, computer science, and industry, the workshop will strengthen the emerging UK community in AI for mathematics and help shape a shared research agenda for this rapidly evolving field.
