封面新闻记者边雪 当地时间 9 月 8 日，OpenAI 宣布，其 AI 模型提出了纳维–斯托克斯存在性与光滑性问题的一套解答，并公开了相关论文式证明以及 Lean 形式化证明。 该消息很快引发关注。纳维–斯托克斯方程是描述流体运动的基础数学方程之一，也是克雷数学研究所 2000 年公布的七大“千禧 本文链接
By