行业动态
x.com ·
@OpenAI (@OpenAI)
OpenAI：Navier-Stokes解证明流体可在有限时间形成奇点
OpenAI团队通过解析证明和Lean形式化证明，展示了Navier-Stokes动力学下流体可在有限时间形成奇点，解为螺旋内旋并拉长的涡旋结构。
AI推荐理由 OpenAI官方提供具体证明细节：流体可在有限时间内形成奇点，并附有Lean形式化证明PDF，信息密度高且可验证。
95
浏览 2,021,657
点赞 6,226
评论 98
转发 326
正文
The group produced an analytical proof and Lean formalization that via Navier-Stokes dynamics a fluid can develop a singularity in finite time.
The solution is a vortex, a spinning swirl of fluid, that spirals inward and gets increasingly elongated, like spaghetti.
[cdn.openai.com/pdf/32d9f210-8…](https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf)