OpenAI

该团队产出了解析证明与 Lean 形式化：经由 Navier-Stokes 动力学，流体可在有限时间内形成奇点。 解是一个涡旋——一团旋转的流体漩涡，向内螺旋并越来越细长，像意大利面一样。 https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf