Leiden Declaration on Artificial Intelligence and Mathematics | London Mathematical Society

Skip to main content

Home

Leiden Declaration on Artificial Intelligence and Mathematics

Leiden Declaration on Artificial Intelligence and Mathematics

The Leiden Declaration on Artificial Intelligence and Mathematics, which has been published today, addresses the increasing role of artificial intelligence (AI) in mathematical research. It was developed following a 2025 workshop at the Lorentz Center in Leiden and in consultation with an international group of researchers.

The Declaration outlines a range of ways in which AI systems are being used in mathematics, including the formalisation of proofs. It highlights concerns about how AI may affect established practices in mathematical research.

The authors identify several potential issues. These include questions around the reliability of automatically generated results, the attribution of results that are produced using trained proprietary models, and the impact of new tools on publication practices and peer review. The document also discusses the role of commercial organisations in this area.

The Declaration sets out recommendations aimed at different groups. For individual researchers, these include disclosing the use of AI tools in their work, taking responsibility for ensuring results are correct, and ensuring appropriate citation of prior work. For professional bodies and funders, it suggests developing policies on AI use in publication and review, and maintaining existing standards of scrutiny. For policymakers, it raises issues relating to regulation, public investment in infrastructure, and the use of expert advice in assessing claims about AI systems.

Read the full Declaration

Read the London Mathematical Society’s policy on AI and publications

Last updated: 2 June 2026

Upcoming Events

LMS Mathematics Communication Workshops 2026 (in person)

Thursday, 11 June, 2026

Location: De Morgan House, London (UK) Meeting details

LMS Good Practice Scheme Workshop: Supporting Staff and Students with Disabilities

Friday, 12 June, 2026

Location: De Morgan House, London (UK) and online via ZoomMeeting details

LMS Mathematics Communication Workshops 2026 (online)

Thursday, 18 June, 2026

Location: Online via ZoomMeeting details

Publications

2025/26 Mathematika Prize for Excellent PhD Thesis

We are excited to congratulate the winners of the 2025/26 Mathematika Prize for Excellent PhD Thesis:

Alp Muyesser. Large-scale structures in groups. Supervised by Alexey Pokrovskiy…

Read more

TNMOC and LMS International Conference: Turing's Legacy and the Future of Computing

The National Museum of Computing (TNMOC), in partnership with the LMS, will be holding a landmark three-day international conference: Computable 90.

Taking place from 16-18 September 2026 in the…

Read more

100 Years of the JLMS - articles published in a special collection

The Journal of the London Mathematical Society was founded in 1926, its first issue being published in January of that year. To celebrate, the Society is publishing a special centenary issue…

Read more

Conference Facilities

De Morgan House

Located in Russell Square, central London we offer excellent transport links, an affordable pricing structure and contemporary facilities housed in a Grade II listed building.

Conference Facilities Website

Footer Menu

Contact Us

LMS Privacy Notice

Accessibility Guide

© Copyright London Mathematical Society 2026