Thomas Wolf: AI math isn't solved yet—Navier-Stokes result looks more like counterexample search

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

Hugging Face co-founder Thomas Wolf responded to OpenAI's claim that a swarm of next-gen model agents proved the Navier-Stokes Millennium Problem false. He called the result impressive but sees it as counterexample search rather than a full proof—AI math isn't solved yet. The post doesn't disclose the model name, proof details, or verification status.

Why it matters: Thomas Wolf's public pushback against OpenAI carries inherent news value, and his distinction between counterexample search and full proof adds real insight. Score capped at 72 because the post lacks model names, proof details, and external verification — the information densi...