Thomas Wolf：AI 尚未真正解决数学问题，Navier-Stokes 相关结果更接近反例搜索

OmniTools 9月9日消息，Hugging Face 联合创始人 Thomas Wolf 在社交平台回应称，OpenAI 利用下一代大模型（性能强于 GPT-6 Astra）构建的 agent 群组，对 Navier-Stokes 方程千禧年难题提出的否定性结果“令人印象深刻”。

他同时指出，该成果尚未构成严格数学证明，其方法更偏向系统性反例搜索，而非传统意义上的形式化推导与验证。

Wolf 强调，当前 AI 在数学领域的应用仍处于探索阶段，距离真正解决基础数学难题仍有显著差距。