Leiden Declaration on Artificial Intelligence and Mathematics (leidendeclaration.ai)

The Leiden Declaration on Artificial Intelligence and Mathematics calls upon mathematicians to responsibly integrate AI technologies into their research practices. Recognizing the transformative potential of AI tools, it urges mathematicians to uphold the discipline's core values, including the integrity of mathematical proofs, proper attribution of authorship, and the transparent evaluation of work. The declaration highlights the challenges posed by AI, such as the risk of automated tools generating plausible but unreliable mathematical arguments, undermining traditional standards of correctness, and complicating the peer review process, particularly affecting students and early-career researchers. This declaration is significant for the AI/ML community as it emphasizes the ethical implications and responsibilities that accompany the increasing reliance on AI in mathematical research. It advocates for proactive measures such as disclosing the use of AI tools, adhering to principles of open science, and ensuring human authors retain accountability for their work. By fostering a culture of transparency and collaboration, the Leiden Declaration aims to preserve the autonomy and integrity of mathematical research in an era marked by rapid technological advancement, thereby promoting a balanced relationship between AI and mathematics.