https://openai.com/index/navier-stokes-solution/ 
我们正在分享一个关于纳维–斯托克斯存在性与光滑性问题的解，这是千禧奖问题之一。该证明由内部 OpenAI 系统生成，表明纳维 - 斯托克斯方程的流体运动动力学可以在有限时间内产生奇点。我们分享的是关于证明的说明和精益的正式化。 
该千禧奖问题（新窗口打开）代表了数学前沿的一些最深奥的问题。关于平滑的三维流体运动是否会失效，这个问题大约有 90 年未解。 
我们工作的主要目标之一是赋能科学家推动惠及全人类的研究和技术。为了解决 Navier–Stokes 问题，我们使用了一个比 GPT-6 Astra 能力显著强的内部模型。我们认为，向世界传达人工智能进展的速度以及未来模型的预期非常重要。