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

Thomas Wolf 认为 AI 数学尚未被解决，Navier-Stokes 结果更像反例搜索而非完整证明 这条更新来自 x.com，发布时间为 2026-09-09，Aioga 保留原文入口以便核验。

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

背景：材料将该结果描述为对 Navier-Stokes 猜想的否定性结论，并称所涉模型强于 GPT-6 Astra。标题进一步指出，这一结果更接近反例搜索，而非完整证明。

Aioga 观察：Aioga 判断：来源同时包含积极评价与性质限定，表明“令人印象深刻”不等于完成完整证明。仅凭现有摘录，不能将该事件概括为 AI 已经解决数学问题。

影响与后续：可能影响：该案例可能促使外界区分反例搜索、猜想为假与完整证明。现有材料不足以确认具体推导、验证方式或结果是否可复现，因此不代表 AI 数学能力已经得到确定性证明。 后续观察：应继续关注相关方是否公开反例内容、推导过程及验证信息；在来源补充这些材料前，报道需要保留“反例搜索”与“完整证明”之间的区别。

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