AI 中文总结
本宣言呼吁数学家应对人工智能在数学研究中的挑战，提出对个人、机构、政府和工业界的建议，以促进学科繁荣。
AI 中文摘要
本宣言呼吁采取行动，以应对人工智能在数学研究中使用所带来的挑战。技术发展曾多次改变了数学实践。近期的人工智能技术，包括用于数学生成和形式化的符号方法与神经方法，可能已经开启了这段漫长历史中的一个重要篇章。在研究人员中，人工智能引发了广泛的反应：对其产生新发现的潜力充满热情；对发展速度感到畏惧；对这些快速变化漠不关心；以及对数学及更广泛社会影响的担忧。数学家有权选择是否以及如何在研究工作中采用人工智能。他们也有责任确保该学科的持续繁荣。本宣言呼吁数学家履行这一责任，并为个人、机构、政府和工业界提供建议。尽管我们采用数学研究的视角，但我们所写的大部分内容同样适用于数学的其他方面。这包括更广泛的数学科学领域的工作、教育、指导、出版、资助、科学政策以及数学在更广阔世界中的应用。
英文摘要
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research. Technological developments have repeatedly transformed the practice of mathematics. Recent artificial intelligence technologies, including symbolic and neural methods for the generation and formalization of mathematics, may already have initiated a significant chapter in this long history. Among researchers, artificial intelligence has produced a wide range of reactions: enthusiasm for its potential to yield new discoveries; intimidation by the pace of developments; indifference to these rapid changes; and concern for the implications, both for mathematics and in wider society. Mathematicians have a choice about whether and how to adopt artificial intelligence in the conduct of their research. They also have a responsibility to ensure the continued flourishing of the discipline. This Declaration calls upon mathematicians to exercise this responsibility, and provides recommendations for individuals, institutions, government, and industry. Although we adopt the perspective of mathematical research, much of what we write applies equally to other aspects of mathematics. This includes work in the broader mathematical sciences, education, mentoring, publishing, funding, science policy, and use of mathematics in the wider world.
CommentsTo sign the Declaration, please go here https://leidendeclaration.ai
