数学家质疑OpenAI纳维-斯托克斯证明

据《科学美国人》（Scientific American）报道，OpenAI今年9月高调公布的纳维-斯托克斯问题潜在证明，正遭到数学界越来越多的质疑。这份用形式化验证语言Lean写就的证明长达166页，OpenAI当时宣称它沿用了西班牙数学家迭戈·科尔多瓦与路易斯·马丁内斯-索罗亚的研究路线，目前已交由克雷数学研究所审查。

但多位专家并不认同。洛桑联邦理工（EPFL）数学家贡萨洛·考-拉博拉（Gonzalo Cao-Labora）表示：「一看到细节，就会发现这是一条不同的路线」，两者的相似只是表面功夫。纳维-斯托克斯方程描述流体运动，其解的存在性与光滑性是克雷数学研究所悬赏百万美元的七大千禧年难题之一。

争议之外还有旧账。发布前，纽约大学数学家特里斯坦·巴克马斯特（Tristan Buckmaster）指责OpenAI的工作建立在他与Anthropic研究员莱文特·阿尔珀格用公开模型完成的研究之上，OpenAI予以否认。高等研究院的卡米洛·德·莱利斯（Camillo De Lellis）则认为，语言模型是黑箱，恐怕很难有定论。

今年10月初，OpenAI又一次性抛出约400项新的数学结果，以松散合集的形式发布在GitHub上，让本就疲于核对的数学界更加不满——许多人认为这种做法「贱卖」了他们的领域。

更微妙的是，连OpenAI自己似乎也说不清这套打法为什么奏效。为攻克纳维-斯托克斯问题，公司投入了约1万个模型实例、连续运行约88小时、消耗1300亿token。OpenAI研究员诺姆·布朗（Noam Brown）承认，没有研究验证过这种规模的智能体集群到底贡献了什么——没人知道1万个智能体比1000个强多少。

布朗本人的估计相当保守：他认为多智能体架构对成功的贡献不足10％。「这些系统又新又炫，所以拿走了不成比例的功劳，」他说。真正起作用的，是可以长时间连续运算、并能大规模并行的基座模型本身。

编译自 The Decoder（报道源：Scientific American），原标题："Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof"