Mathematicians sign declaration to rein in AI use (www.scientificamerican.com)

In response to concerns over the impact of artificial intelligence on the field of mathematics, a coalition of mathematicians, computer scientists, and historians has released the "Leiden Declaration on Artificial Intelligence and Mathematics." This declaration emerged after discussions at a workshop in the Netherlands, where participants expressed unease about AI's ability to generate mathematical proofs, often lacking transparency and accountability. Key recommendations from the document include mandatory disclosure of AI use in research, ensuring peer review of AI-generated proofs, and promoting equitable access to resources for both academic and private sector researchers. The significance of this declaration lies in its potential to safeguard the integrity of mathematical research as AI technologies continue to evolve. Participants highlighted the challenge of maintaining transparency and upholding traditional values in mathematics, especially as commercial interests overshadow academic principles. By advocating for stricter regulations on AI companies and calling for independent oversight, the declaration aims to protect the discipline from potential exploitation while emphasizing that AI can be a valuable tool if used responsibly. The International Mathematical Union plans to endorse the declaration, marking a crucial step toward fostering a collaborative and transparent environment for future research.