OpenAI 公布 AI 生成的纳维–斯托克斯方程奇点构造证明
AI 首次给出纳维–斯托克斯方程有限时间奇点的构造，若经评审成立，将改写流体力学的一个千禧年难题。
OpenAI 公布由内部 AI 系统生成的解析证明和 Lean（一种可让机器逐步校验数学证明的定理证明器）形式化证明，构造出三维纳维–斯托克斯方程在有限时间内出现奇点的解。Clay 数学研究所称该问题「看起来已解决」，但按大奖规则仍需评审与长期检验，奖金暂未归属。
正文摘录
- title: OpenAI 突破纳维-斯托克斯方程之后，物理学中发生了什么变化 - sourcecompany: 机器之心 - bodymarkdown: .jpg) 编辑丨% 纳维–斯托克斯方程诞生于 19 世纪，用来描述水、空气等流体如何运动。飞机周围的气流、海水的运动、血液流动以及湍流，都可以在不同条件下用它描述。 但对于三维不可压缩流体，一个看起来非常基础的问题始终没有答案：如果流体一开始运动得很平滑，那么这种平滑性是否能够永远保持？还是说，经过有限时间之后，某个区域会突然变得无限剧烈，使方程本身失去正常的数学解？  图示：飞机尾流中的混沌涡旋可能增加空气动力学阻力。 这就是 Clay Mathematics Institute 在 2000 年公布的七大「千禧年大奖难题」之一，奖金为 100 万美元。官方问题要求证明三维纳维–斯托克斯方程始终保持光滑，或者构造出会发生有限时间破裂的解。 9 月 8 日，OpenAI 公布了一套由内部 AI 系统产生的解析证明和 Lean 形式化证明，给出了一个有限时间形成奇点的构造。