《AI人工智能与数学莱顿宣言》重磅发布，获得国际数学联盟IMU采纳和全力支持

人工智能（AI）正持续渗透日常数学研究，大语言模型、符号演算与形式化证明系统不断落地，工业界也愈发将数学视作自动推理技术的试验载体。诸多技术突破固然振奋人心，但随之诞生的一系列问题，值得全球数学界审慎研讨。《人工智能与数学莱顿宣言》于2026年6月2日发布，回应了当前提出的许多关键问题。

克里斯托夫・索尔格

Christoph Sorger，国际数学联盟IMU秘书长

作者：Christoph Sorger（克里斯托夫・索尔格，国际数学联盟IMU秘书长）2026-6-2

译者：zzllrr小乐（数学科普公众号）2026-6-2

AI人工智能正持续渗透日常数学研究，大语言模型、符号演算与形式化证明系统不断落地，工业界也愈发将数学视作自动推理技术的试验载体。诸多技术突破固然振奋人心，但随之诞生的一系列问题，值得全球数学界审慎研讨。2026年6月2日正式发布的《人工智能与数学莱顿宣言》，围绕当下各类核心争议给出系统性梳理。

这份宣言缘起 2025 年 9 月于荷兰莱顿大学洛伦茨研究中心举办的「机械化与数学研究」学术会议，来自 10 个国家的约 60 位学者参会，涵盖数学家、计算机科学家、哲学家与社科研究者。会议结束后的半年内，专项工作组吸纳全球数学界海量反馈，打磨成文，文稿内容贴合截至 2026 年 5 月的 AI 技术现状与数学科研实际。

由伊尔卡・阿格里科拉（Ilka Agricola）出任主席的国际数学联盟出版委员会（CoP），全程跟进宣言编撰工作。随着文稿正式刊发，国际数学联盟（IMU）宣布正式认可、采纳本宣言。

我并不奢望所有数学从业者对宣言每一条表述完全达成共识。事实上目前收到的各类不同观点，恰恰印证了这份文献的价值：它促使学界静下心思索，哪些学术准则需要坚守、哪些规范可以灵活调整、哪些领域亟待厘清界定。

宣言列明了多数数学家共识的核心学术底线：证明是数学的基石，理解与表述的清晰性至关重要；科研成果必须明确归属创作者；结论应当能够独立复现验证；整个学界负有以深度、难度、学术价值为标尺评判科研的共同责任。

宣言同时指出，随着人工智能深度融入数学科研，各类现实矛盾会逐步凸显。首要隐患是结论的可靠性：当下自动化工具能够生成看似严谨、实则错误的推导内容，该问题不只局限于普通文本撰写，在形式化数学的推演与解读中同样频发；倘若原始定义本身设定粗糙，机器校验结果和真实数学结论之间极易出现断层。第二大问题是成果署名与文献溯源：数学研究历来依托前人成果、规范引注，但现有 AI 大多在海量已刊论文上训练，却不遵循学术引证规范，生成内容整合已有研究却常常缺失文献出处。宣言着重强调：相关责任不能因 AI 生成而转嫁，人类作者仍需全权负责，反而更要细致标注引文、如实致谢前人学术贡献。

宣言还关注同行评审与科研评价承压问题：AI 大幅降低长篇优质论文的撰写门槛，会显著加重审稿负担。与此同时，部分研究借助新闻稿、科普博客等非正式渠道提前造势，跳过正规评审流程，极易夸大成果价值、埋没前人相关工作。

宣言中有两点尤为关键：一是算力与高端 AI 工具获取不均，会在国家、高校乃至课题组内部催生新的资源鸿沟；二是部分数学分支只因适配 AI 算法就变得热门，而非依托学术价值被学界认可，长此以往数学会丧失自主发展的选择权。

正因如此，宣言提出搭建产学研合作规范框架的建议意义重大。产学研合作固然益处良多，但不存在能全方位满足学术开放标准的合作模式。投身校企合作的数学家需要配套帮扶与专业指引，清晰预判合作中的利弊取舍。

落地层面，宣言要求科研人员主动标注 AI 工具使用情况、配合审稿核查、在合适场景践行开放科学，对论文正误和文献标注负全责；抵制刻意隐去人力贡献、将成果包装成 AI 或企业自主产出的不良风气。无论技术如何发展，厘清人与机器各自贡献是基本准则。宣言同时呼吁数学家主动参与公共议题讨论，跟进前沿技术，审慎权衡所用工具与合作模式背后的伦理风险。

面向学术组织、科研资助方与政策制定者的相关建议同样关键：完善出版审稿制度、坚守严谨性标准、保障作者权益、扶持公共科研平台建设、抵制夸大 AI 性能的不实宣传。以上举措将助力数学界守护学术公信力，筑牢可靠科研的发展土壤。

国际数学联盟背书本宣言，是因为在 AI 相关研讨刚刚起步的当下，这份文稿观点中肯、时机恰当、立论均衡。宣言呼吁全球数学界立足数学本源价值，以开放心态开展相关探讨。

联盟的认可并非讨论的终点，反倒会推动全球各数学分支、各国学者展开深度交流。相关研讨将延续至 2026 年费城国际数学家大会。7 月 26 日国际数学联盟专题论坛《数学研究与出版面临的挑战》Challenges for Mathematical Research and Publishing 上，宣言工作组牵头人吉姆・波特赫吉斯（Jim Portegies）将做《人工智能与数学莱顿宣言》The Leiden Declaration on Artificial Intelligence and Mathematics专题报告。

我期待众多同仁到场参会，议题紧扣时代热点，论坛也为开放式交流搭建了绝佳平台。这场论坛中，琳・赫勒（Lynn Heller）还将带来《数理领域学术出版乱象与学术造假》Fraudulent Publishing in Mathematical Sciences 报告。

参考资料

https://www.mathunion.org/imu-news/archive/2026/imu-news-137-may-2026

https://leidendeclaration.ai

https://www.universiteitleiden.nl/en/news/2026/06/leiden-declaration-warns-ai-is-challenging-the-core-values-of-mathematics