所谓「OpenAI解出纳维–斯托克斯方程」是标题误读:方程早已被数值求解数十年,千禧年问题问的是理想连续模型的数学性质,与工程计算无关。

MAYUKH(@MAYUKH_PANJA)观点长文 · 已翻译 · 约 2 分钟
阅览室 · AI 最佳实践#斯托克斯#纳维#OpenAI#数学原文

似乎有一种普遍印象,认为 OpenAI 不知怎么“解出了纳维–斯托克斯方程”,并认为这是流体力学和工程领域的某种巨大突破。

并非如此。

纳维–斯托克斯方程已经被数值求解了几十年。我们每天都在用它们模拟飞机周围的气流、天气系统、燃烧、洋流、管道、涡轮机,以及几乎所有涉及流体的东西。

计算流体力学是一个庞大的领域,在连续介质近似成立的范围内,这些方程在描述现实世界现象方面已经做得极其出色。

克雷千年大奖问题所问的东西要狭窄和抽象得多。

它问的是:在一组非常特定的数学假设下,三维不可压缩纳维–斯托克斯方程的光滑解是否始终保持光滑,还是会在有限时间内产生奇点。

这是一个深刻的数学问题。但它并不等同于问我们能否计算空气如何流过机翼。

工程师不需要知道一个理想的连续速度场是否在所有时间、在任意小的空间尺度上都保持无限良好的行为。他们把方程离散到有限网格上,在有限时间内运行模拟,并将结果与实验和观测进行比较。

这里还有一层讽刺:真实的流体归根结底并不是连续到最底层的。 空气和水由分子构成。纳维–斯托克斯是一种连续介质近似,它在足够大的尺度上涌现出来,而一旦深入到分子尺度附近,它最终就不再是合适的描述了。

所以千禧年问题本质上是一个关于理想化连续模型的数学性质的问题,而不是一个人类等了90年、盼着有人来移除的工程障碍。

这并不意味着这一成果不令人惊叹。如果OpenAI的证明经得起审视,那将是数学上的一项非凡成就,也是对AI如今能力的一次非凡展示。

但你的飞机不会因此变得更符合空气动力学。你的CFD求解器不会突然过时。天气预报模型也不会即将出现戏剧性的改善。

“纳维–斯托克斯方程已被解决”是个绝佳的标题。

只是它的含义与大多数人所想的截然不同。

已读完 · 本文由熊猫易读翻译重排