关于人工智能与数学的莱顿宣言

要点

• 《莱顿宣言》于2026年6月2日发布，源于2025年在莱顿洛伦兹中心举办的研讨会。
• 宣言涉及AI在数学研究中的应用，如自动证明形式化，并关注由此带来的可靠性、归属权等问题。
• 针对研究人员、专业机构、资助者和政策制定者分别提出具体建议。
• 强调保持现有审查标准，并对AI系统的声明进行专家评估。