STORY · 事件进行中

OpenAI 用下一代模型证明 Navier-Stokes 猜想为假

1 个精选信源 · 1 篇报道持续 1 天最新动态 1小时前
最新进展

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

TIMELINE

报道时间线

1 条公开报道 · 官方一手 0 条 · 最新在前
  1. Thomas Wolf 认为 AI 数学尚未被解决，Navier-Stokes 结果更像反例搜索而非完整证明
    X：Thomas Wolf（Hugging Face 联创/CSO） (@Thom_Wolf)精选

    Hugging Face 联创 Thomas Wolf 回应 OpenAI 用下一代模型（强于 GPT-6 Astra）的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果，称其令人印象深刻。