16位顶尖数学家起草宣言反对AI，数学的灵魂不能被自动化夺走

几天前，OpenAI 用 AI 模型解决了一个关于点与点之间距离的数学问题，此前 80 年来这道题目一直未被完全攻克，消息一出一度被媒体刷屏。不过，没隔几天 16 位数学家站了出来，他们在荷兰莱顿大学发布了一份名为《莱顿宣言》的文件 [1]。 菲尔兹奖得主、德国马克斯·普朗克数学研究所所长彼得·舒尔茨（Peter Scholze）在宣言中表示，自己在思考数学问题的时候从来不使用 AI，也尽量不去阅读 AI 生成的内容。他认为数学思想好比孩子，需要多年的培育才能成长。 英国帝国理工学院的凯文·巴扎德（Kevin Buzzard）教授也是签署者之一，他提醒数学家同行们要留意科技公司突然对数学产生兴趣这件事，而《莱顿宣言》正是对当前形势深思熟虑的回应。 牛津大学计算机科学系主任莱斯利·安·戈德堡（Leslie Ann Goldberg）则警告称，AI 生成的错误论文就像建在烂地基上的房子，后续的研究盖在上面迟早会塌。随着新的结果建立的错误的基础上，这些错误很可能会传播开来。 此外，哥伦比亚大学的迈克尔·哈里斯（Michael Harris）、莱顿大学的罗德里戈·奥奇加梅（Rodrigo Ochigame）、牛津大学的乌尔苏拉·马丁（Ursula Martin）等多位数学家都参与了这份宣言的起草或签署。 之所以签署宣言，是因为他们担心如果 AI 解题成了唯一的标杆，人类长久以来珍视的理解力、洞察力和判断力可能会慢慢被挤走。 《莱顿宣言》指出使用 AI 的数学家应该做到：用了 AI 必须主动说清楚；谁写的论文谁就要对内容负责，不能把责任推给 AI；也不能因为用了 AI 就随便抄袭前人的成果。并提醒大家有些 AI 公司之所以宣传 AI 解题能力，是为了制造噱头拉高股价。 《莱顿宣言》也强调了已有数学成果的版权问题，一些科技公司使用数学家的论文来训练 AI 模型，然而很多时候并没有征得这些数学家的同意。数学家们辛苦工作了几十年写出来的成果，结果被拿去喂给了 AI。AI 学会之后转过头来跟人类数学家比拼解题速度，甚至被包装成产品卖钱，而辛辛苦苦做出这些成果的数学家们没有得到任何补偿，甚至连署名都拿不到。 一位参与起草此次宣言的数学家说，自己从来没有同意过让研究成果以这种方式被 AI 使用，并表示自己对此感到非常不安。 更让人担心的是，AI 公司在选择研究题目的时候，往往会优先挑那些机器容易解决的问题。那些难度太高或者不适合 AI 特点的题目，就被晾在了一边。久而久之这就导致整个数学研究的方向可能会被资本悄悄带偏，而不再是由数学家自己说了算。 宣言给数学家的建议是：披露工具使用情况、支持审查需求、坚持开放科学原则、保留对正确性的责任、肯定作者的人性、务必认真做好归属工作、参与公共讨论、随时了解新兴技术、欢迎新贡献者、仔细考虑要使用哪些工具、评估你行为的伦理后果并采取相应行动。 宣言给数学组织和非营利研究资助者的建议是：培养专业技能并制定战略计划、主导制定出版和审稿政策、保持严谨的标准、保护作者的权利、坚持选择合适的出版渠道、支持公共研究实验室、提供协作框架、资金投入应与价值观相符。 事实上，数学一直被认为是科研领域的清高之地，数学家不需要太多的科研经费，只需要一支笔就可以做研究。但正是这批对于科研经费要求不高的数学家，反而成了多次被 AI“针对”的群体。比如，人们经常看到科技公司宣传 AI 解决了多么难的数学题目，但很少看到科技公司以 AI 解决生化环材领域的难题来展示自家产品能力。 而在这份宣言发布之后，也得到了国际数学联盟的正式支持。该联盟副主席公开表示，数学永远都应该是一件充满人情味的事。许多知名数学家也公开表示赞同，还有数学家担心当前 AI 生成的假论文正在像病毒一样蔓延，有时审稿人根本来不及分辨真假，错误的结果一旦发表，后面的人就会在错的地基上继续盖楼。 这群数学家并不是反对 AI 这种工具本身，实际上反对的是对于工具的滥用。以计算器为例，谁都知道它算得又快又准，可当我们小时候上数学课的时候，数学老师还是会让我们自己在草纸上列竖式，一步步地推导。这种练习确实不能快速得到答案，但却是提升逻辑能力和推理能力的必经之路。因此，AI 不应该成为定义数学的唯一标准，本次《莱顿宣言》宗旨也是希望能够守护数学推导过程的清晰和思考的自由。