Leiden Declaration on Artificial Intelligence and Mathematics
The Leiden Declaration on Artificial Intelligence and Mathematics is a statement on the use of artificial intelligence in mathematical research, published on 2 June 2026 at leidendeclaration.ai and deposited…