Workshop on AI and Theorem Provers in Mathematics

This meeting will explore with leading experts some of the recent developments related to the use of AI and theorem provers in mathematics as well as the perspectives for such future use.

• Attendance is free.
• Venue: Online
• Date: 8. - 10. April 2026
• Registration: Online Form

Speakers

• Kevin Buzzard (Imperial College)
• Minhyong Kim (International Centre for Mathematical Sciences, Edinburgh)
• Yang-Hui He (London Institute for Mathematical Sciences)
• Paola Iannone (University of Edinburgh)
• Shinichi Mochizuki (Research Institute for Mathematical Sciences Kyoto)
• Leonardo De Moura (Amazon Web Services)
• Lawrence Paulson (University Cambridge)
• Chelsea Edmonds (University of Western Australia)
• Patrick Massot (University Paris Saclay)

Programme Schedule (to be confirmed)

The preliminary schedule of the workshop is:

• April 8th 2026 
  • 08:00-09:00 Kevin Buzzard
  • 09:15-10:15 Paola Iannone
  • 10:45-11:45 Lawrence Paulson
  • 12:00-13:00 Discussion/panel session
• April 9th 2026
  • 08:00-09:00 Chelsea Edmond
  • 09:15-10:15 Yang Hui Heen
  • 10:45-11:45 Shinichi Mochizuki
  • 12:00-13:00 Discussion session
• April 10th 2026
  • 15:00-16:00 Patrick Massot
  • 16:15-17:15 Leonardo De Moura
  • 17:45-18:45 Natarajan Shankar (tbc)
  • 19:00-20:00 Discussion/panel session and closure

All times are BST (i.e., London, observing daylight saving time).

Organisers

• Mohamed Saidi (Department of Mathematics and Statistics, University of Exeter)
• Barrie Cooper (Department of Mathematics and Statistics, University of Exeter)
• Gihan Marasingha (Department of Mathematics and Statistics, University of Exeter)
• Achim D. Brucker (Department of Computer Science, University of Exeter)
• Diego Marmsoler (Department of Computer Science, University of Exeter)