Leiden Declaration on Artificial Intelligence and Mathematics
Summary
Leiden Declaration on Artificial Intelligence and Mathematics discusses AI's growing role in mathematical research, including the formalisation of proofs, and raises concerns about reliability, attribution, and publication practices. It provides recommendations for researchers, professional bodies, funders, and policymakers.