数学家为AI使用制定规则，其他领域也该跟进

本文介绍了荷兰莱顿大学及该市最新发布的《莱顿人工智能与数学宣言》。该宣言源于对AI快速融入数学研究的关切——AI已能辅助甚至独立完成数学证明验证、求解长期未解难题（如80年历史的‘单位距离问题’），但也带来新风险：研究选题可能变窄、学者因缺乏资源或不愿使用商业AI工具而被边缘化、训练数据来源不明、关键软件细节不公开等。宣言强调，数学成果必须发表在同行评议的开放科学平台，确保任何人无需专有软件或知识即可理解；所有训练数据须明确署名并获授权。文中还指出，数学是全球共同积累的知识遗产，AI的发展离不开其严谨性与多样性，因此透明、可追溯、尊重学术自主，是AI时代不可妥协的底线。宣言已获数学、计算机科学、哲学、史学等领域学者广泛支持。