A Call for the Ethical Use of AI in Mathematics
AI is being positioned as a replacement for mathematicians, able to solve longstanding open problems in a fraction of the time it would take a human. The Leiden Declaration calls on AI corporations and practitioners to act responsibly to ensure the continuance of mathematics as a discipline.