OpenAI 声称解决纳维-斯托克斯千年难题

OpenAI 于9月8日宣布，其未发布的内部模型解决了纳维-斯托克斯存在性与光滑性问题，这是克雷数学研究所的千年大奖问题之一。该证明显示，光滑的三维不可压缩流体可在有限时间内产生无界速度，并已通过 Lean 形式化验证。此次宣布引发了与数学家的优先权争议。