本宣言呼吁采取行动，以应对人工智能在数学研究中使用所带来的挑战。这是一个社区倡议的结果，并得到了国际数学联盟（IMU）的支持。前言 技术发展一再改变着数学的实践。最近的人工智能技术，包括用于生成和形式化数学的符号方法和神经网络方法，可能已在这段漫长的历史中开启了一个重要章节。在研究人员中，人工智能引发了广泛的反应：对其潜力产生新发现的热情；对发展速度的恐惧；对这些快速变化的漠不关心；以及对其对数学和更广泛社会的影响的担忧。数学家在其研究过程中是否以及如何采用人工智能这一点上有选择，也有责任确保这一学科的持续繁荣。本宣言呼吁数学家履行这一责任，并为个人、机构、政府和产业提供建议。尽管我们采用数学研究的视角，但我们所写的大部分内容同样适用于数学的其他方面。这包括更广泛的数学科学、教育、指导、出版、资金、科学政策以及数学在更广阔世界中的使用。本宣言是在与面临类似挑战的其他研究努力和创意职业团结一致的基础上构思的，既包括学术界内的事物，也包括学术界外的事物。它补充了其他行动呼吁，例如乌普萨拉科学家伦理守则、旧金山研究评估宣言、联合国教科文组织开放科学建议和英国科学家的普遍伦理守则。国际数学联盟出版委员会、工业与应用数学学会和美国数学学会也制作了相关材料。关于我们的价值观 我们的建议基于我们认为数学研究的特征性价值观，这些价值观我们共同关注并希望保留。其中包括以下几点：追求数学研究有许多理由，从智力好奇心到解决实际和社会问题的愿望。许多数学的基础在于证明的活动。数学证明被认为赋予结论最高程度的确定性，并赋予人们对其结论为何成立的理解。这些证明的特征支持了数学的科学完整性。结果可归属于特定的作者，他们为自己的发现获得荣誉，并承担其正确性的责任。这些原则扎根于我们在数学研究中所追求的以优点为基础的标准。数学论证被视为透明，并可独立验证。它们可能极其长或困难，但原则上不应需要任何专有知识或设备来理解它们。数学家对基于共享的深度、难度和重要性标准对数学工作的适当评估有共同的关注。数学不仅产生了一系列结果，还在塑造这些结果的数学家社区中产生了理解、清晰和判断，通常是在他们自主指导研究的背景下。这种专业知识对于有效使用数学和继续阐述新的和重要的研究问题至关重要。学科的一个重要力量来源于研究方向的自主塑造以及用于追求研究的方法。这些作为学科内容的数学特征也兼容于将数学理解为一种人类实践及其在世界中的位置。作为数学家，同时也是共享世界的居民，我们有责任关心他人及我们的环境。潜在威胁 最近的发展中的人工智能威胁着每一个这些价值观，往往以不成比例地影响学生和早期职业数学家的方式，因此也影响到这一学科的长期未来。当前的自动化技术可以产生似是而非但不可靠（甚至错误）的论证，这些论证与正确的数学证明难以区分。这不仅适用于非正式的论证，也适用于形式化，其中困难在于计算机编码的概念与人类呈现的概念之间的翻译。这些快速发展的情况使得我们目前的审查系统承受着越来越大的压力，危及我们实施传统标准以确保证明的正确性、透明性和独立可验证性的能力。那些大量依赖已发布数学公有领域的技术削弱了...