The Leiden Declaration: Mapping the Ethical Frontier of AI in Mathematics

This declaration establishes crucial ethical and professional guardrails as AI begins to automate complex mathematical reasoning and proof formalization. By addressing concerns over reliability and commercial proprietary models, it ensures that the integrity of mathematical discovery remains grounded in human-verifiable rigor despite rapid technological shifts.