Navier–Stokes 问题与 OpenAI 宣称的解答

原标题The Navier–Stokes Problem and OpenAI’s Claimed Solution

Matthew Berman 借助旋转流体的画面,介绍一道百万美元数学难题及 OpenAI 在 2026 年 9 月的公告。

MBMatthew Berman主持 · Forward Future
频道
Matthew Berman
发布
2026年9月13日
视频
0:31
阅读
1 分钟
幻灯片
1
原文
英语
在 YouTube 打开
往下滚动阅读时,视频会缩到右下角继续播放。字幕跟随阅读语言。
阅读语言共 2 种语言可读
由 AI 从英语原文翻译。打开“对照原文”可以逐段核对。
摘要

30 秒看懂

Matthew Berman 简要介绍 Navier–Stokes 方程,并说 OpenAI 宣布解决了相关的千禧年大奖难题。OpenAI 宣称在光滑外力条件下证明了有限时间奇点;Clay 数学研究所表示,结果和署名须经过其评估流程。

  1. 1流体卷曲并分裂片段展示了一个运动的环拉伸并形成更小的涡卷。
  2. 2描述流体运动的方程Berman 介绍 Navier–Stokes 方程,说明它们可以描述和预测流体流动。
  3. 3百万美元难题Clay 数学研究所的难题关注三维解的存在性与光滑性。
  4. 4OpenAI 的公告OpenAI 声称证明了光滑外力下的有限时间奇点;Clay 的评估与署名流程仍适用。

要点建议

  1. Navier–Stokes 方程描述流体运动,并应用于飞机设计等领域。
  2. Clay 千禧年问题关注三维解的存在性与光滑性,而不只是能否无限期预测所有流体。
  3. OpenAI 在 2026 年 9 月宣布,声称证明了光滑外力情形下的有限时间奇点。
  4. Clay 表示公告似乎解决了该问题,但其评估和署名流程仍会审慎推进。
全文

按章节阅读整理后的全文

只看原始文稿
01

流体运动与 Navier–Stokes 方程

画面展示一个环拉伸并分裂成较小的涡卷。Berman 介绍用于描述流动的方程。

环分裂成更小的涡卷
幻灯片 1 / 1环分裂成更小的涡卷这段可视化展示了用来引出 Navier–Stokes 方程的流体运动。

看看流体如何运动:空气卷成一个环,拉伸,然后分裂成更小的涡卷。Navier–Stokes 方程是科学家用来描述和预测包括空气在内的流体运动的重要工具。理解这些流动对飞机设计等应用很重要。

02

千禧年难题与 OpenAI 的声明

Berman 提及百万美元难题和 OpenAI 的公告。研究所的评估与署名流程仍在进行。

这些方程涉及一道奖金为 100 万美元的千禧年难题。我用能否永远预测流动来简化这个问题;更准确地说,Clay 数学研究所关注的是三维解的存在性与光滑性。

OpenAI 在 2026 年 9 月宣布已经解决这一问题。该公司表示,其内部系统在光滑外力的情形下给出了有限时间奇点的证明。Clay 表示该问题似乎已经解决,同时说明评估和署名会遵循审慎、不急于求成的流程;公告本身并不代表已经颁奖。

同频道的其他文章

12 张幻灯片34:21EN → 简体中文
Matthew Berman· 2026年10月27日Matthew Berman 解读 Anthropic 的上市文件、AI 增长与治理Matthew Berman, Sam Altman · Forward Future主持人审视 S-1 中的财务指标、算力战略和投票结构,并质疑 AI 快速发展与安全之间的张力。AnthropicAI Safety企业 AI+2
2 张幻灯片0:36EN → 简体中文
Matthew Berman· 2026年10月25日Kimi K3.1 与魔方求解演示Matthew Berman · Forward FutureMatthew Berman 展示一个被打乱的虚拟魔方如何复原,并对 Kimi K3.1 的测试给予积极评价。评估编程智能体Open-weight models
6 张幻灯片25:50EN → 简体中文
Matthew Berman· 2026年10月24日Kimi K3.1 Pro 实测:3D 演示出色,表现不一,价格有竞争力Matthew Berman · Forward FutureMatthew Berman 测试这款开放权重模型的编程、3D 渲染和视觉讲解能力,并比较基准成绩与价格。Open-weight modelsBenchmarksAI cost & performance+1
2 张幻灯片32:20EN → 简体中文
Matthew Berman· 2026年10月23日本地 AI 究竟适合谁?成本、取舍与混合模式的未来Matthew Berman · Forward FutureMatthew Berman 权衡数据控制和自主权,与硬件成本、设置复杂度及推理速度之间的关系。Local inferenceOpen-weight modelsAI cost & performance+1
6 张幻灯片1:03:37EN → 简体中文
Matthew Berman· 2026年10月23日Matthew Berman 团队测试 Kimi K3.1:动画、游戏与图表Matthew Berman, Alex, Brian · Forward Future一场团队直播问答变成了对 Kimi K3.1 的非正式测试,内容涵盖个人智能体工作流、动态图形、浏览器游戏和基准图表。编程智能体Generative media评估+2
0:53EN → 简体中文
Matthew Berman· 2026年10月22日Sam Altman 谈 AI 与新知识的发现Sam Altman · OpenAIAltman 预计,数学发现方面的进展将延伸到生物学、材料和能源领域。AI for scienceMathematicsComputational Biology+1