国际数学联盟发布《人工智能与数学莱顿宣言》，回应 AI 对数学研究影响的问题，如何理解这份宣言？

AI人工智能正持续渗透日常数学研究，大语言模型、符号演算与形式化证明系统不断落地，工业界也愈发将数学视作自动推理技术的试验载体。诸多技术突破固然振奋人心，但随之诞生的一系列问题，值得全球数学界审慎研讨。2026年6月2日正式发布的《人工智能与数学莱顿宣言》，围绕当下各类核心争议给出系统性梳理。 由伊尔卡・阿格里科拉（Ilka Agricola）出任主席的国际数学联盟出版委员会（CoP），全程跟进宣言编撰工作。随着文稿正式刊发，国际数学联盟（IMU）宣布正式认可、采纳本宣言。我并不奢望所有数学从业者对宣言每一条表述完全达成共识。事实上目前收到的各类不同观点，恰恰印证了这份文献的价值：它促使学界静下心思索，哪些学术准则需要坚守、哪些规范可以灵活调整、哪些领域亟待厘清界定。 宣言列明了多数数学家共识的核心学术底线：证明是数学的基石，理解与表述的清晰性至关重要；科研成果必须明确归属创作者；结论应当能够独立复现验证；整个学界负有以深度、难度、学术价值为标尺评判科研的共同责任。 宣言同时指出，随着人工智能深度融入数学科研，各类现实矛盾会逐步凸显。首要隐患是结论的可靠性：当下自动化工具能够生成看似严谨、实则错误的推导内容，该问题不只局限于普通文本撰写，在形式化数学的推演与解读中同样频发；倘若原始定义本身设定粗糙，机器校验结果和真实数学结论之间极易出现断层。第二大问题是成果署名与文献溯源：数学研究历来依托前人成果、规范引注，但现有 AI 大多在海量已刊论文上训练，却不遵循学术引证规范，生成内容整合已有研究却常常缺失文献出处。宣言着重强调：相关责任不能因 AI 生成而转嫁，人类作者仍需全权负责，反而更要细致标注引文、如实致谢前人学术贡献。 宣言还关注同行评审与科研评价承压问题：AI 大幅降低长篇优质论文的撰写门槛，会显著加重审稿负担。与此同时，部分研究借助新闻稿、科普博客等非正式渠道提前造势，跳过正规评审流程，极易夸大成果价值、埋没前人相关工作。 宣言中有两点尤为关键：一是算力与高端 AI 工具获取不均，会在国家、高校乃至课题组内部催生新的资源鸿沟；二是部分数学分支只因适配 AI 算法就变得热门，而非依托学术价值被学界认可，长此以往数学会丧失自主发展的选择权。《AI人工智能与数学莱顿宣言》重磅发布，获得国际数学联盟IMU采纳和全力支持_澎湃号·湃客_澎湃新闻-The Paperhttps://leidendeclaration.ai/