Leiden Declaration on Artificial Intelligence and Mathematics
5 hours ago
- #Artificial Intelligence
- #Mathematical Research
- #Ethics
- AI is playing a growing role in mathematical research, including in proof formalization.
- Concerns include reliability of AI-generated results, attribution with proprietary models, and effects on publication and peer review.
- Recommendations call for researchers to disclose AI use, ensure correctness, and cite prior work appropriately.
- Professional bodies and funders should develop AI policies and maintain scrutiny standards.
- Policymakers should consider regulation, public infrastructure investment, and expert advice on AI claims.