Leiden Declaration on Artificial Intelligence and Mathematics
Key takeaways
- The Leiden Declaration on Artificial Intelligence and Mathematics, which has been published today, addresses the increasing role of artificial intelligence (AI) in mathematical research.
- The Declaration outlines a range of ways in which AI systems are being used in mathematics, including the formalisation of proofs.
- The document also discusses the role of commercial organisations in this area.
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.