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

16位数学家联合发布《莱顿宣言》直指AI三大威胁

由来自15所大学的16名数学家共同起草的《人工智能与数学莱顿宣言》长达11页，于6月2日正式公开。宣言明确指出，人工智能的失控式渗透正在从三个层面动摇数学研究的信任根基：可靠性——AI生成的证明与结论难以验证，可能充斥着隐藏错误；署名与公平性——依赖AI工具的研究者可能获得不当优势，而拒绝使用AI的学者则面临边缘化；研究自主——数学家的成果被用于训练军事或监控AI系统，违背了学科的人文初衷。该宣言已获得国际数学联盟正式背书，并面向全球个人与组织征集签名。

从“验证平台”到“独立解题者”：AI正重塑数学疆界

AI在数学领域的飞速突破是本次宣言的直接导火索。过去，数学问题常被用作AI模型的验证平台，因其易于量化且训练样本丰富。但如今AI已不再局限于简单技巧——上个月OpenAI的一款通用推理模型独立破解了一个拥有80年历史的著名猜想。这种“人工智能数学家”的崛起让学界感到不安：数学研究正从人类主导的创造过程，加速演变为AI辅助甚至取代人类推理的“自动化生产”。但宣言强调，数学的核心远非“得出正确答案”，而是创造力、理解力、协作与求知欲——这些人文属性恰恰与AI的算法逻辑格格不入。

科技商业逻辑与数学人文精神的正面冲突

《宣言》合著者、哥伦比亚大学的Michael Harris直言：“科技行业遵循商业逻辑行事，这与数学的价值观背道而驰。”这种冲突现在已肉眼可见地侵蚀学术生态：

• 论文质量暴跌：AI生成的数学论文大量涌入，内容低劣且难以检验，导致同行评审系统不堪重负。
• 研究公平性失控：高校及科研机构尚无成型方法论，让数学家批量消化AI产出的证明；而“技术红利”不均正加剧学术界内部的不平等。
• 伦理边界模糊：数学家担心自己的原创成果被拿来训练用于军事监控或商业监控的AI模型，这是一种对学术公益的背叛。

《莱顿宣言》提出的四项核心原则与全球响应

针对上述危机，宣言提出了AI在数学研究中必须遵循的原则框架，旨在让AI“支持而非削弱”学科发展。具体包括：

• 透明原则：AI参与的研究必须明确标注生成环节，不能模糊人类与机器的贡献分界。
• 可验证原则：AI产出的证明与结果必须能被人类理解的逻辑链条追溯，不能成为黑箱。
• 公平原则：算法与数据应避免偏见，确保不同背景的研究者能平等受益。
• 自主原则：数学研究的选题与方向不应被AI的高效产出绑架，应保留人类对“提出好问题”的决定权。

宣言发布后，下一个关键节点是7月在费城举行的国际数学家大会，届时将围绕宣言展开专题讨论。与此同时，各国政府也在加速应对——美国总统特朗普近日签署行政命令，要求联邦官员优先获取最先进AI模型的未发布版本，以防范潜在安全威胁。这场围绕数学与AI的信任博弈，才刚刚拉开序幕。