数学界发布莱顿宣言，规范 AI 使用边界

荷兰莱顿的数学研究者日前正式发布「莱顿 AI 与数学宣言」，呼吁在数学研究中规范使用人工智能工具，确保人类判断力、透明度与公平性不受侵蚀。Nature 在最新社论中对该宣言及其形成过程给予明确支持，认为这是学术界对 AI 浪潮的一次系统性回应，也值得其他学科借鉴。

从研究指标到 AI：两份「莱顿宣言」的传承

2014 年，莱顿大学曾主办一场关于科研评价指标的会议，会后发表的「莱顿宣言」提出十条原则，呼吁在科研评价中坚持严谨与公平，并与「旧金山科研评估宣言」（DORA）一道被全球多家机构采纳。

去年 9 月，莱顿再次成为学者讨论科研诚信的聚会地——这一次的议题聚焦 AI 在数学中的角色。本月早些时候发表的「莱顿 AI 与数学宣言」延续前作精神，既肯定 AI 作为变革性技术的潜力，也强调人类判断、透明度与公平必须得到保障。宣言已获得数学界不同立场研究者的广泛联署，Nature 在社论中明确支持宣言的发起过程与结论。

AI 正在改变数学研究的面貌

AI 已深度介入数学研究的多个环节，覆盖从自动化证明的检查与验证，到辅助甚至自主攻克特定领域的开放问题。就在上个月，OpenAI 的数学家借助一款聊天机器人，仅用一条提示便解决了一道悬而未决 80 年的几何学经典难题——单位距离问题，成果随后由独立于该公司的数学家小组完成验证。

菲尔兹奖得主、UCLA 数学家陶哲轩表示，AI 正在迅速改变数学家的工作内容。工作坊报告进一步指出，随着商用 AI 软件融入数学研究，「被追逐的问题类型和被重视的证明形式都将发生变化」。与此同时，已有证据显示，AI 的使用与研究主题范围的收窄存在相关性，无论是否主动使用 AI，科研工作者都可能在不同程度上受到影响。

核心诉求：开放、透明、可验证

宣言明确提出，数学成果应继续在遵循开放科学原则的同行评审渠道发表，且「理解这些成果不应依赖任何专有知识或设备」。任何用作训练数据的材料均须获得恰当署名，并在取得同意后方可使用。

以单位距离问题为例，OpenAI 已将证明公开发布在公司网站上，并接受独立数学家验证——但该公司在多次请求下，至今未披露所用软件的具体名称与细节，也未完整公开模型训练所使用的数据集。这一做法被宣言视为亟需规范的关键缺口。

对其他学科的启示

数学知识是人类数百年积累的结晶，其多样性与完整性构成 AI 模型准确性的根基。宣言工作组与数学界发起的这场讨论意涵深远，Nature 认为，这一对话应当进一步扩展到更多学科，让透明度在 AI 时代成为不可妥协的底线。