AI 导读
该团队给出了一个解析证明和 Lean 形式化，证明在 Navier-Stokes 动力学下，流体可以在有限时间内形成奇点。 该解是一个涡旋，即流体旋转的漩涡，它向内螺旋并变得越来越细长，像意大利面一样。 https://t.co/tz1shoCZZo
正文
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.
https://t.co/tz1shoCZZo
来源：@OpenAI · x.com