16名数学家起草《莱顿宣言》，警告AI冲击数学研究信任

人工智能正在重塑数学研究的边界，但随之而来的隐忧也不容忽视。就在6月4日，一份由全球15所大学、16位数学家联合签署的《莱顿宣言》正式发布，直指AI给数学的可靠性、署名权、公平性和研究自主性带来的真实威胁。

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

宣言的核心立场相当明确：数学绝不仅仅是结论的堆砌，它本质上是一种人类活动——关乎理解、清晰的表达以及判断力的培养。数学研究的基石包括证明带来的高确定性、作者应承担的责任、成果的可验证性、学术共同体的评价标准，以及研究者自主选择研究方向的能力。这些传统价值在AI的冲击下，正在被重新审视。

有意思的是，宣言并没有简单粗暴地喊“禁用AI”，而是呼吁数学界建立一套清晰的规范。毕竟，目前已经有不少研究者利用AI来辅助写论文、生成证明甚至参与同行评审。关键问题在于，如何让工具服务于学科，而不是反过来侵蚀证明的严谨性、打乱署名秩序、模糊学术责任。

宣言具体列出了五类值得警惕的威胁：

第一，AI生成的证明看起来头头是道，但可能隐藏着不易察觉的错误；第二，模型可能直接复用人类的成果，却没有给出应有的引用；第三，昂贵的专有工具会拉大研究者之间的差距；第四，媒体宣传往往高估AI的实际能力，制造不切实际的期待；第五，商业利益还可能悄悄改变数学研究的议程，把资源引向更容易“出活”的方向。

其中，资源差距这个问题尤其棘手。那些能够使用先进专有AI模型和高价算力的研究者，显然会在竞争中占据优势。招聘、资助和评价体系也可能逐渐向“会用AI”倾斜。反过来，那些无法使用或不愿意依赖AI的研究者，很可能在学术竞争中处于越来越不利的位置。

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

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