今年早些时候,一位23岁且没有正式数学训练的年轻人声称,他利用OpenAI的ChatGPT解决了匈牙利数学家保罗·埃尔德什(Paul Erdős)遗留的“埃尔德什问题”之一,这一消息引发了广泛关注。随后,上个月,学者们震惊于OpenAI宣称其AI系统推翻了一个已有80年历史的“单位距离”猜想,该猜想同样由埃尔德什提出。
OpenAI当时自豪地表示:“这是AI首次自主解决了数学领域中的一个重要开放问题。”然而,专家们对于这些前沿AI模型是否真正代表了解决长期困扰数学家的难题的重大突破,仍存在激烈争论。
近日,一份由全球150多位数学专家联合签署的声明——《莱顿宣言:关于AI与数学》——对AI在解决复杂数学问题上的能力提出了严肃警告,呼吁各国政府不要被炒作所迷惑,质疑所谓的数学领域革命。
国际数学联盟副主席乌尔里克·蒂尔曼(Ulrike Tillmann)在声明中指出,AI带来了必须认真审视的问题。她强调:“数学研究的未来必须由人类判断、公正透明的实践以及全球数学界共同的价值观来引导。”
声明还指出,科技产业出于商业利益,往往夸大其产品的能力,建议政策制定者在制定相关政策时,应咨询包括数学家在内的专家,而非仅依赖新闻稿或大众媒体对数学成果的报道。
更严重的是,AI模型可能生成听起来合理但实际上经不起推敲的解决方案。牛津大学计算机科学系负责人莱斯利·安·戈德伯格(Leslie Ann Goldberg)表示:“当前的自动化技术可能产生看似合理但不可靠甚至错误的论证,这些论证难以与正确的数学证明区分开来。这是一个严重问题,因为数学研究(以及理论计算机科学等相关领域)几乎总是建立在已有研究基础之上,研究人员必须确保文献中的结果是正确的。”

声明还揭示了许多学者面临的困境:在高等教育资金不足和学术职位不稳定的背景下,吸引新资金变得困难,而AI的热度持续上升,迫使他们不得不在压力下支持这项技术。
声明写道:“我们认识到,业界提供了丰厚的职位、资金奖励、计算资源和智力激励机会,这对一些数学家具有吸引力。这一切发生在高等教育资金不足和学术就业不稳定的时代。”
此外,声明还指出,除了数学领域,AI产业还涉及军事和大规模监控项目、助长虚假信息和破坏民主的技术开发以及环境成本等诸多问题,呼吁加强监管。
总之,这份声明严厉谴责了围绕AI的持续炒作,呼吁遏制其滥用,这一呼声远远超出了数学界的范畴。更广泛的科学界也因大量依赖AI的论文而陷入困境,担心同行评审过程被AI“幻觉”所污染。
声明还提醒人们,AI模型往往未经原作者同意,就使用了最前沿的研究成果。莱顿大学AI人类学家罗德里戈·奥奇加梅(Rodrigo Ochigame)表示:“许多数学家从未打算为AI发展贡献自己的工作,但他们的研究却被用于这一目的,且未获同意。我认为这是一个令人深感担忧的局面。”
更多关于AI与数学的内容,请参考:数学家声称利用ChatGPT取得重大突破。


