Leiden Declaration on Artificial Intelligence and Mathematics
11 hours ago
- #AI in Mathematics
- #Research Ethics
- #Academic Integrity
- The Leiden Declaration addresses AI's impact on mathematics, emphasizing the need to preserve values like proof certainty, attribution, transparency, and autonomous research.
- AI poses threats to mathematical values: unreliable automated proofs, undermined attribution, disrupted incentives, endangered evaluation via informal channels, and loss of research autonomy.
- Recommendations for mathematicians include disclosing AI tool use, supporting open science, retaining responsibility for correctness, ensuring proper attribution, and evaluating ethical consequences.
- Mathematical organizations should build expertise, lead on publishing policies, maintain rigor standards, protect author rights, and support public research labs to align AI with mathematical values.
- Policymakers are advised to strengthen author protections, consult experts for policy, regulate the AI industry, and invest in public computational infrastructure.
- Commercial AI is urged to adopt the Declaration's standards in collaborations with mathematicians, respect ethical concerns, and avoid overstating capabilities for broader reasoning.