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

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

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

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