过去几个月里,大语言模型的数学能力大幅提升,已经能够解决许多数学领域中悬而未决的重大问题。然而,AI 公司把解决数学问题当作基准测试来推动,对数学这门科学和数学界都是有害的。AI 公司的目标与数学界的目标严重错位。我们认为,这属于更广泛的对齐问题的一部分,这些问题同样影响着其他科学和创造性职业,乃至整个社会。
数学研究致力于理解形状、数字和自然现象的基本结构。历经数代人的积累,它已经建立起一个庞大的体系,包含精妙的思想、方法、抽象概念和其他工具,用来理解数学的全景。反过来,现代技术和科学又建立在数学工具之上。
著名问题往往如同地标和灯塔,人们可以借此衡量自己对这片全景的理解是否加深。解决其中一个问题,必然意味着新的洞见和有趣的方法,随后数学家群体会通过演讲、讨论和化简等漫长而艰苦的过程对其加以研究。理想情况下,这个过程的终点是一份教科书式的阐述,任何研究生乃至本科生都可以拿来学习。有些数学思想的旅程还会走得更远,在数十年甚至数百年之后,成为全体民众都能理解和使用的工具。
数学界在许多方面就像人类的一个缩影。它由采用各种不同方法的个体组成,并被共同的核心价值观联结在一起。我们这个职业最珍贵的资源是学生和思想,我们对它们倍加呵护。我们觉得有责任让它们充分成长,直到它们能在数学世界中独立生活。对学生,我们常常给出一些问题,其核心用意是培养能力,使他们能够在研究及其他领域中取得进展。对我们的思想,我们通过演讲、私下讨论和审慎的书面整理来传播,并把它们与他人先前的思想联系起来。这些过程无一例外都需要时间,并且建立在人与人的互动之上。
近几个月来,AI 在解决重大数学问题上的成功,甚至在数学圈之外也成了头条新闻。但解决问题只是实现首要目标的工具和替代指标,首要目标是概念上的理解和洞见。在 AI 的世界里忘记这一点,可能会让工具反过来对抗首要目标。事实上,以越来越快的速度批量生产「真/假」命题,可能会毁掉沃土,而不是为新思想注入生命。
这些解答往往仓促公布,没有留出时间做妥善的整理、提炼新方法和新思想,也没有引用他人相关的前人工作。与所有创造性职业一样,这引发了严重的署名归属和抄袭问题。此外,如果没有愿意负责其发展并将其纳入数学经典体系的数学家,AI 构想出的思想就永远无法真正鲜活起来,数学家之间至关重要的人类传承链条也会就此断裂。
我们正目睹智力工作面临一种普遍的威胁,即使用 AI 的结果与其最初目的之间出现了错位。在许多领域和活动中,多年的训练历来不仅是为了产出最终的答案或成品,也是为了培养理解力,以及提出新问题和新想法的能力。然而,建立在人类大量既有工作的基础上,AI 系统越来越能够直接产出这类工作的成果,这两个目标便不再一致。数学界现在面临的问题,与其他科学和创造性职业面临的问题相似,也预示着全人类可能面临的问题:当 AI 改变工作的方式时,如何确保我们不会忘记这些工作最初是为了实现什么。
AI 有潜力增强并加速真正的数学研究与理解。数学这一职业需要在多个方面适应这些变化。然而,这些变化最终是让这个领域受益,还是产生破坏性影响,在很大程度上将取决于掌控这项新技术的人所做的决定。
这些问题必须尽快解决:数学界要解决,开发这些技术的公司要解决,更广泛地说,整个社会也要解决,因为社会将在许多其他形式的智力工作中遇到类似的问题。
Artur Avila(2014 年菲尔兹奖)
Manjul Bhargava(2014 年菲尔兹奖)
Caucher Birkar(2018 年菲尔兹奖)
Pierre Deligne(1978 年菲尔兹奖)
Yu Deng(2026 年菲尔兹奖)
Simon Donaldson(1986 年菲尔兹奖)
Vladimir Drinfeld(1990 年菲尔兹奖)
Hugo Duminil-Copin(2022 年菲尔兹奖)
Alessio Figalli(2018 年菲尔兹奖)
Martin Hairer(2014 年菲尔兹奖)
June Huh(2022 年菲尔兹奖)
Maxim Kontsevich(1998 年菲尔兹奖)
Elon Lindenstrauss(2010 年菲尔兹奖)
Pierre-Louis Lions(1994 年菲尔兹奖)
Grigory Margulis(1978 年菲尔兹奖)
James Maynard(2022 年菲尔兹奖)
Curtis McMullen(1998 年菲尔兹奖)
Shigefumi Mori(1990 年菲尔兹奖)
David Mumford(1974 年菲尔兹奖)
Ngô Bảo Châu(2010 年菲尔兹奖)
Andrei Okounkov(2006 年菲尔兹奖)
Peter Scholze(2018 年菲尔兹奖)
Stanislav Smirnov(2010 年菲尔兹奖)
Terence Tao(2006 年菲尔兹奖)
Maryna Viazovska(2022 年菲尔兹奖)
Cédric Villani(2010 年菲尔兹奖)
Wendelin Werner(2006 年菲尔兹奖)
Efim Zelmanov(1994 年菲尔兹奖)