Maths Workshop Attracts Global Audience at University of Exeter
An international online workshop on “AI and Theorem Provers in Mathematics” brought together leading researchers, educators, and practitioners to explore the rapidly evolving relationship between artificial intelligence and mathematical reasoning.
The workshop was organised by Barrie Cooper, Gihan Marasingha, Mohamed Saidi (Mathematics and Statistics), and Achim Brucker and Diego Marmsoler (Computer Science). The event focused on the use of AI and computer-assisted theorem provers to advance mathematical discovery, open new research directions, and enhance the teaching of mathematics at all levels.
The programme featured several pioneering figures in the field of automated theorem proving, including Leonardo de Moura, Lawrence Paulson, and Natarajan Shankar, alongside internationally recognised experts such as Kevin Buzzard, Yang-Hui He, Paola Iannone, Shinichi Mochizuki, Patrick Massot, and Chelsea Edmonds. In addition to keynote lectures, participants benefited from interactive discussion sessions that enabled direct engagement with speakers.
The workshop was a major success both scientifically and as a public outreach initiative, attracting more than 300 registered participants from around the world. Attendance was free of charge, helping to broaden access to cutting-edge research and discussion. Recordings of the lectures and discussions are available online, with the most-viewed session already attracting more than 19,000 views.
Further information, including recordings and programme details, is available at https://aitpm.github.io/.
