# Thomas Wolf：AI 数学还没搞定，Navier-Stokes 那个结果更像是在找反例，不是完整证明

> 原标题：Thomas Wolf 认为 AI 数学尚未被解决，Navier-Stokes 结果更像反例搜索而非完整证明

- 来源：AI HOT 精选
- 发布时间：2026-09-09T09:17:53.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/55721
- 原文：https://x.com/Thom_Wolf/status/2097615465698713666

## 摘要

Hugging Face 联合创始人 Thomas Wolf 对 OpenAI 的说法泼了盆冷水。OpenAI 声称用比 GPT-6 Astra 更强的下一代模型群组，证明了纳维-斯托克斯千禧年难题的猜想是错的。Wolf 觉得这个结果挺厉害，但本质上是在搜索反例，离数学家认可的那种完整证明还差得远。正文没披露具体模型名字、证明细节，也没说有没有经过外部...

## 推荐理由

Thomas Wolf 这盆冷水泼得挺及时。OpenAI 的说法听起来很炸，但 Wolf 点出了关键：搜到一个反例和拿出一份数学家认的完整证明是两码事。正文没给模型名、没给证明细节、也没说有没有外部验证，所以我会先打个折——信息密度不够，但 Wolf 的立场和这个区分本身对从业者有提醒价值，别看到“千禧年难题”就上头。

## 锐评

Thomas Wolf 的回应很直接：OpenAI 用比 GPT-6 Astra 更强的模型群组去碰 Navier-Stokes 千禧年难题，找到反例说明猜想可能是错的，这事本身挺厉害，但别急着说 AI 数学已经被解决了。他的核心判断是，这本质上是一次反例搜索，不是数学家会点头的那种完整证明。正文没披露具体用了什么模型、证明过程长什么样、有没有外部数学家验证过，这些信息缺口让整个声明的可信度要打个折。Wolf 作为 Hugging Face 联创，立场上不是纯学术圈的人，但他点出的问题很实在：搜出一个反例和建立一套严谨的证明体系是两码事。如果 OpenAI 后续不放出细节和验证流程，这条新闻就只能当个技术演示看，离改写数学史还有距离。