Leiden Declaration on Artificial Intelligence and Mathematics
The Leiden Declaration on Artificial Intelligence and Mathematics, a statement on the use of AI in mathematics, was released recently. The document is the work of an international group of 16 researchers in mathematics and other relevant fields (computer science, history, philosophy and anthropology) and has been endorsed by the International Mathematical Union. It identifies potential threats posed by AI in mathematical research and formulates concrete recommendations for individual mathematicians, mathematical organizations, and policymakers. For more information and to read the declaration, visit https://leidendeclaration.ai/.