トーマス・ウルフは AI 数学はまだ解決されておらず、ナビエ–ストークスの結果は完全な証明ではなく反例探索に近いと考えている

公开材料显示，Thomas Wolf 对 OpenAI 下一代模型 agent 群组关于 Navier-Stokes 千禧年问题猜想为假的结果表示印象深刻；标题同时称 AI 数学尚未被解决。

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

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

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