我们分享纳维-斯托克斯存在性与光滑性问题的一个解，这是千禧年大奖难题之一。这一证明由 OpenAI 内部系统生成，表明流体运动的纳维-斯托克斯方程动力学可以在有限时间内形成奇点。我们同时分享证明的书面说明和 Lean 形式化。

千禧年大奖难题代表了数学前沿一些最深刻的问题。光滑的三维流体运动是否会崩溃这一问题，大约 90 年来一直未获解决。我们工作的一个主要目标是赋能科学家推进有益于全人类的研究和技术。为了解决纳维-斯托克斯问题，我们使用了一个能力显著强于 GPT-6 Astra 的内部模型。

纳维-斯托克斯方程使用牛顿第二运动定律（“F=ma”）来描述流体如何运动。它们将流体视为连续介质，而不是追踪单个分子。这些方程用于飞机设计、天气预报和血流研究。一个根本性的未解问题是，连续介质近似是否会崩溃。具体而言，对于密度恒定的三维不可压缩流体，即使运动从光滑状态开始，方程是否会产生“奇点”？在这里，奇点意味着动力学导致速度在有限时间内无界增长。奇点的形成必须发生在黏性存在的情况下，而黏性倾向于使运动变得光滑。由于真实流体不可能以无限快的速度运动，这将标志着方程对流体建模方式的崩溃。这些方程可追溯到 Claude-Louis Navier 和 George Gabriel Stokes 在十九世纪的工作。1934 年，Jean Leray 证明了广义意义下解存在，但它们是否始终保持光滑成为一个核心未解问题。2000 年，Clay Mathematics Institute 将纳维-斯托克斯存在性与光滑性问题列为七个千禧年大奖难题之一。

我们的系统产生了一个解析证明和 Lean 形式化，表明初始光滑且静止的流体可以在有限时间内形成奇点。该流体受到光滑外力的作用，其能量在整个动力学过程中保持有限，从静止到奇点形成。这通过确立官方千禧年大奖表述中的陈述“C”（以及“D”），解决了纳维-斯托克斯千禧年大奖难题。该解是一个涡旋，即流体的旋转漩涡，它向内螺旋并变得越来越细长，像意大利面一样。

关键实体：公司：OpenAI、Clay Mathematics Institute | 人物：Claude-Louis Navier、George Gabriel Stokes、Jean Leray

FAQ：什么是纳维-斯托克斯千禧年大奖难题？

它问的是，流体运动的纳维-斯托克斯方程的解在三维中是否始终保持光滑，还是会在有限时间内形成奇点。

FAQ Q：什么是纳维-斯托克斯千禧年大奖难题？

FAQ A：它问的是，流体运动的纳维-斯托克斯方程的解在三维中是否始终保持光滑，还是会在有限时间内形成奇点。