还没有。截至2026年11月12日，克雷研究所仍把这道题列为"进行中"，OpenAI也表示不打算申领100万美元奖金。成果公布仅三天后，9月11日的Clay公告里用的说法是"apparently settled"（看起来已解决），并强调评价与认定不会仓促完成。过去两个月，数学界的真实状态是：第一批专家已经读懂思路，不少同行倾向于相信结果是对的，但"被认可"所要求的完整流程才刚走完前半段——"相信它可能对"和"认可"之间隔着几道明确的关卡。36氪知乎
它证明的不是整道题
9月8日，OpenAI公布成果：一个未发布的内部模型驱动约一万个智能体，88小时里来回发出约270万条消息、生成约1300亿个token，产出166页手稿《纳维-斯托克斯方程的有限时间爆破》；又过了约17小时，GPT-6 Astra把证明翻译成Lean语言交给机器逐行检查，验证仓库同步开源。36氪
它证明的不是"流体总会爆炸"，而是一个反例：定理1.1声称，对任意正黏性系数，可以选取空间、时间上均光滑且紧支撑的外力，让流体从静止出发，在有限时间出现无界速度，而动能始终一致有界——能量不爆，速度爆。OpenAI公布的正是对应题目C、D两种替代命题的构造：在足够光滑的外力作用下，从静止和有限能量状态出发，解在有限时间内失去光滑性。知乎知乎
这道题在克雷研究所的正式题目里实际有四个选项：A、B要求证明无外力时的整体存在性与光滑性，C、D则允许构造满足规定条件的光滑外力，证明所要求的全局光滑解不存在，完成其中一个就算解答。但有外力与无外力是两道题，外力本身也受原题的光滑性与衰减约束，不能随意塞一个进去；按照Constantin等人新论文的分析，这套构造不能直接推广到无外力情形，那仍是下一道开放的题。知乎36氪
验收的门，走到哪一步了
面对这份成绩单，数学界没有鼓掌。他们开始核对。头一道门是"读得懂"。9月中旬的普遍状态是没人读得动，10月14日《Nature》旗下刊物《通讯-物理》的社论写道：专家们相信它是对的，但还没人真正理解它。哔哩哔哩36氪
转折发生在10月26日。据纽约大学库朗研究所教授、法国国家科学研究中心研究主任Scott Armstrong发的长帖，几组正在研究这份证明的偏微分方程专家已经基本读懂了其中的思路，他的评价是："它也许超出了人类原本能想到的范围，但没有超出人类的理解。"难点在方法本身：Armstrong认为AI的做法最像凸积分，区别是振荡不再由数学家手工逐层构造，而是AI设计了一种流体自身的不稳定性，让相邻水层的速度差自发长出波动——相当于让水自己搅自己，用人类的旧工具走出了一条没人走过的组合。36氪
第二道门是"译得准"。Lean能保证每一步没算错，但机器只检查它收到的东西：10月6日，Bastounis、Circelli和Hansen三位研究者发表预印本指出，手稿里用来控制高频模态的核心引理（谱间隙引理）在Lean代码里完全消失了，Lean反而引入了手稿里没提到的能量级联不变量，两个版本所证明的定理陈述并不等价。值得注意的是，三位作者同时声明，自己没有判断OpenAI的文字证明是否正确——所以这项质疑不等于"证明被推翻"，它要求的是逐条核对：机器验证过的内容，究竟能为原稿的哪些结论提供保证。知乎36氪
第三道门是程序。克雷的认定规则要求正式期刊发表、经过数学界广泛检验并接受——通常是至少两年的过程，这份手稿至今没有走完期刊同行评审。11月初的所谓"反转"也要这样读：《科学美国人》采访的多个研究组分析后认为，OpenAI并没有延续此前被广泛认为的Córdoba与Martínez-Zoroa技术路线，最初的方法描述受到修正，校正的是研究路径与归属叙事，不是判定证明真假。知乎
归属本身还有一笔未结清的账。成果公布前一天，纽约大学教授Tristan Buckmaster与Anthropic研究员Levent Alpöge刚发布了同方向的流体方程研究成果。OpenAI承认，这项工作受到了两人"已经解决"这一传闻的启发。OpenAI同时表示，在对方成果公开发布前，研究团队与智能体并未接触这份工作，但官方博客留了一句无法回避的话：无法完全排除去标识化的用户数据对模型迭代带来影响。定理的正确性是一回事，谁先想到、数据从哪来是另一回事，两条账目前都没走完。微博小红书知乎
"不鼓掌"的原因：卡点变了
数学家的核心不满，其实不是"AI做错了"。9月11日，陶哲轩、德利涅、吴宝珠、邓煜等25位菲尔兹奖得主联合发布公开信《人工智能在数学中的严重错位》，公开信并不抵制AI辅助数学研究，原文明确认可AI可以是科研的有力工具，他们反对的是把地标性难题当作大模型发布会的跑分项目。到10月下旬，《观察家报》刊出对陶哲轩的专访，他把未经消化就批量发布的证明称为"有毒废料"，并持续推动"数学2.0"的讨论：保留慢科研在增进理解、建设共同体上的价值。知乎知乎
背景是供给已经失控：10月7日，OpenAI一次性公开一批成果，仓库openai/math里是722篇手稿，按结果归成372族，覆盖17个领域，加起来34,815页。10月26日又有三项新发现公布，奥特曼则证实数学方向累计投入数亿美元，仅纳维-斯托克斯这份证明就烧掉千万美元量级算力。生产端被AI打穿之后，瓶颈整体移到了人类的验证、消化与讲解——这才是"不认可"的实质：证明还没有被转化为共同体能用得上的知识。哔哩哔哩哔哩哔哩
所以，把问题问成"算不算被认可了"，11月12日的准确回答是：研究路线、署名与验证方式正被重新审视，这既不自动等于证明被推翻，也不等于千禧年奖金已经正式颁发。接下来可以盯三个信号：完整讲解与逐条对照核查的论文是否发表，修正后的忠实Lean版本能否通过独立检查，以及克雷研究所的官方状态何时改变。在那之前，无论"AI攻克千禧年难题"还是"证明被推翻"，都超出了证据允许的范围。知乎
