Synth Daily

OpenAI 斥资数百万攻克这道数学界经典难题,却彻底惹恼了数学家们

OpenAI 宣布使用人工智能解决了一个名为纳维-斯托克斯方程的著名数学难题,但这一本应是里程碑的事件却引发了数学界的愤怒。数学家 Tristan Buckmaster 指责 OpenAI 在得知他与合作者的研究后,利用其庞大的计算资源“抢发”了成果,并提出了不尊重的合作条件。这场争议的核心并非数学本身,而是 科技公司为追求声誉而采取的竞争手段学术界重视合作与开放的社区规范 之间的激烈冲突。

一场被争议掩盖的科学突破

9月8日,本应是人工智能领域值得纪念的一天,但却因一场公开的争端而蒙上阴影。事件的经过可以概括为以下几个关键点:

  • 初步研究: 数学家 Tristan Buckmaster 与其合作者 Levent Alpöge(Anthropic 公司的员工)在业余时间研究纳维-斯托克斯方程的相关问题,并取得了进展。
  • 谣言与竞争: 关于 Anthropic 公司可能解决了千禧年难题的谣言传到了 OpenAI。这促使 OpenAI 启动了一个由 Sébastien Bubeck 领导的团队,投入大量资源攻克同一问题。
  • 方法重叠: OpenAI 采用了与 Buckmaster 和 Alpöge 几乎相同的研究路径,而这条路径在当时“几乎无人”关注。
  • “抢先发布”: 凭借强大的算力,OpenAI 率先得出了完整解,击败了两位数学家。
  • 激怒学界: 据 Buckmaster 称,OpenAI 提议让他署名发表论文,但前提是承认成果由 OpenAI 模型解决,并且其合作者 Alpöge 不能成为共同作者。Buckmaster 认为这一提议极具侮辱性,因此选择将事件公之于众。

Buckmaster 在声明中写道,他本想庆祝数学家与大语言模型合作取得的巨大进步,但现实却迫使他不得不去讨论一些完全不同的事情。

社区规范与公司竞争的冲突

这场戏剧性的冲突,焦点很快从数学本身转移到了科研伦理上。人们争论的不是谁对谁错的细节,而是背后更深层次的问题。

数学研究不仅仅是解决孤立的问题,更在于 培养一个由专家组成的、开放协作的社区。在学术界,得知他人有初步成果后,利用资源优势抢先完成并发表,这种行为被称为 “抢发”(scooping),被认为是严重违反学术规范的行为。它会破坏信任,迫使研究人员在成果完全成熟前必须保密,这与数学界所珍视的开放精神背道而驰。

OpenAI 试图通过解决一个著名的数学问题来获得声望。但具有讽刺意味的是,它所采取的方式,恰恰破坏了那个让这个问题变得有声望的社区。

纳维-斯托克斯方程到底是什么?

这个引起巨大争议的难题,本身其实相当抽象。

  • 基本概念: 纳维-斯托克斯方程用于描述流体(如水或空气)如何运动。它计算的是流体中每一个点在特定时刻的运动方向和速度。
  • 理论问题: 真正的问题在于,这些方程会不会在某些特定情况下导致 荒谬的、不符合物理现实的结果?这种数学上的崩溃被称为“奇点”。
  • OpenAI 的发现: OpenAI 找到了这样一种情况。他们构建了一个特殊的流体漩涡模型,在这个模型中,漩涡中心的流体“速度会无限增长”。这在现实世界中显然是不可能发生的,但它在数学上证明了纳维-斯托克斯方程确实可能“崩溃”。

一个重要但“无用”的难题

尽管这是一项重大的数学突破,但它的实际应用价值可能非常有限。著名数学家陶哲轩(Terence Tao)就此发表了看法:

“虽然这些方程源于对不可压缩流体的研究,但其正则性问题对物理应用的直接重要性不大。计算流体力学已经是一门成熟的学科……一个理论上的保证或病态的反例,虽然在智力上很有趣,但并不会从根本上改变我们模拟天气预报或气候变化的方式。”

这进一步凸显了社区规范的重要性。当一个问题的价值更多体现在 智力探索和学术声望 上时,维护产生这种声望的社区文化和信任,就显得比单纯得出答案更加重要。