
本月早些时候,OpenAI 宣布其 AI 智能体集群在连续工作 88 小时后,找到了解决数学界最大未解难题之一——纳维-斯托克斯方程(Navier-Stokes equations)的方案。然而,这一声明随即引发巨大争议,多位数学家指责该公司实质上窃取了他们的研究成果。
“无法理解的证明”
尽管争议不断,学界对这项 AI 解决方案的评价却趋于一致:虽然技术在理论上正确,但其生成的证明过程晦涩难懂,几乎无法为人类提供有价值的洞察。
牛津大学数学家詹姆斯·梅纳德指出,目前很难从这份新的 AI 证明中提取出任何人类可理解的内容。布朗大学数学家哈维尔·戈麦斯-塞拉诺也表示,这篇论文并非为人类读者而写。尽管经过大量重写后可能推动领域发展,但“截至今天,它并没有教会我们太多东西”。
纳维-斯托克斯方程描述了流体(如狂风、洋流)的运动行为。两个世纪以来,科学家依赖该方程获得可靠结果,但其内在机制仍是谜团。克雷数学研究所于 2000 年将其列为六个“千禧年大奖难题”之一,解题奖金高达 100 万美元。
剽窃指控与数据争议
在 OpenAI 宣布结果前几小时,纽约大学数学家特里斯坦·巴克马斯特指控该公司在未获许可的情况下“跳用”其工作,并通过抢先发布实质性地窃取了他的想法。
巴克马斯特指出,OpenAI 的研究路径与他多年来的研究方向高度相似,且他认为该领域无人探索其他类似路径。由于他长期使用 OpenAI 的 Codex 工具辅助研究,他暗示 OpenAI 可能秘密访问了他的笔记。据称,当他就此质疑 OpenAI 时,对方表示若他放弃与曾在 Anthropic 工作的莱文特·阿尔波厄合作,便可在论文中为其署名。
OpenAI 否认了这些指控,但承认“不能排除源自用户使用我们产品的去标识化数据有助于改进模型的可能性”。
核心难题仍未解决
除伦理争议外,学界对 OpenAI 声称的“解决”本身也存在异议。根据克雷研究所规定,数学家可通过解决“受迫”(涉及重力等外力)或“非受迫”(仅靠流体内部作用力)版本的纳维-斯托克斯问题来赢取奖金。
专家更关注的是在没有外力作用下,仅凭流体内部作用力导致方程“爆炸”的纯粹场景。然而,OpenAI 的解决方案依赖于外力。此外,近期一份由数学家发布的证明指出,OpenAI 的方案永远无法导向对该问题的完整解决。
芝加哥大学数学家路易斯·西尔维斯特表示:“最重要的问题仍未解决。对于纳维-斯托克斯方程而言,核心问题并未得到解决。”尽管如此,数学家们公认 OpenAI 的解决方案在技术上是有效的,尽管梳理那些晦涩的论述可能需要数周时间。