16位数学家发表《莱顿宣言》警告AI或损害数学研究信任

人工智能正在深刻改变数学研究的方式与边界，但由此引发的隐忧同样不容小觑。2025年6月4日，由全球15所高校、16位数学家共同签署的《莱顿宣言》正式对外发布，这份声明直指AI对数学领域的可靠性、署名权、公平性以及研究自主性所带来的真实威胁。

该宣言的诞生源于2025年9月在荷兰莱顿大学洛伦兹中心举办的一场专题工作坊，主题为“机械化与数学研究”。当时大约有60位来自10个国家的数学家、计算机科学家、人文社会科学研究者以及政策制定者共同参与了深入探讨。如今，这份宣言已获得国际数学联盟（IMU）等权威机构的正式认可与背书。

宣言的核心立场十分明确：数学绝不仅仅是结论的简单堆砌，其本质是一种人类活动——关乎深刻的理解、清晰的表达以及批判性判断力的培养。数学研究的基石包括证明所带来的高度确定性、作者应承担的学术责任、成果的可复现性、学术共同体的评价标准，以及研究者自主选择研究方向的自由。这些传统价值在AI技术的冲击下，正面临前所未有的重新审视。

值得关注的是，宣言并没有简单地呼吁“禁止AI”，而是倡导数学界建立一套清晰、可操作的规范。事实上，目前已有不少研究者借助AI来辅助撰写论文、生成证明步骤甚至参与同行评审。关键问题在于，如何让技术工具为学科服务，而不是反过来侵蚀证明的严谨性、扰乱署名秩序或模糊学术责任边界。

宣言具体列出了五类值得高度警惕的风险：

第一，AI生成的证明看似逻辑严密，但可能隐藏着不易察觉的潜在错误；第二，模型可能直接复用人类的研究成果，却没有给出应有的引用与致谢；第三，昂贵的专有AI工具会进一步拉大研究者之间的资源差距；第四，媒体宣传往往高估AI的实际能力，制造不切实际的公众期待；第五，商业利益还可能悄然改变数学研究的议程，将资源引向更容易“产出成果”的方向。

其中，资源差距问题尤为棘手。能够使用先进专有AI模型和高性能算力的研究者，无疑将在竞争中占据显著优势。招聘、资金分配以及学术评价体系也可能逐渐向“善于使用AI”的方向倾斜。反之，那些无法使用或不愿依赖AI的研究者，很可能在学术竞争中处于越来越不利的地位。

宣言还表达了对另一种现象的担忧：AI生成的数学成果经过新闻稿和博客的放大宣传，容易让公众高估AI的能力，同时低估人类已有的原创贡献。若技术企业的影响力进一步增强，数学界可能会不自觉地优先追求那些易于自动化、有利于展示产品效果的研究问题，而那些真正具有深度、需要长期耕耘的方向，反而可能被边缘化。

总而言之，这份宣言是一记清醒的提醒——AI是工具，而非答案。数学研究的灵魂，归根结底在于人的判断力与创造力。