Thomas Wolf 认为 AI 数学尚未被解决，Navier-Stokes 结果更像反例搜索而非完整证明
friends are regularly surprised when i say i don’t think math is (yet) “solved,” so in the wake of t...
AI 导读Hugging Face 联创 Thomas Wolf 回应 OpenAI 用下一代模型（强于 GPT-6 Astra）的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果，称其令人印象深刻。
来源：Thomas Wolf · x.com
事件后续1
查看事件全部- Thomas Wolf 认为 AI 数学尚未被解决，Navier-Stokes 结果更像反例搜索而非完整证明Thomas Wolf · 9 月 9 日