Mathematicians are developing rules for AI use (www.nature.com)

Mathematicians have recently established the Leiden Declaration on Artificial Intelligence and Mathematics, building on the principles of the 2014 Leiden Manifesto. This declaration, which emphasizes the responsible use of AI in mathematical research, highlights the need for transparency, fairness, and human judgment amid the rapidly evolving integration of AI technologies in the field. It comes at a critical time when AI is not only aiding in automating mathematical proofs but also solving long-standing problems, as exemplified by recent advancements from OpenAI. The significance of the Leiden Declaration lies in its call to preserve the autonomy of mathematics and ensure that research remains accessible and peer-reviewed, free from proprietary constraints. It raises essential concerns around the potential narrowing of research topics driven by AI dependence, threatening the diversity and openness that underpin scientific inquiry. By advocating for full disclosure of training data and methodologies, the declaration aims to ensure that the foundational integrity of mathematics is upheld as AI continues to reshape the discipline. This initiative invites broader conversations across various fields about the implications of AI, making it a pivotal moment for the academic community.