Hugging Face 联合创始人 Thomas Wolf 回应 OpenAI 使用下一代模型（性能强于 GPT-6 Astra）的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果。他表示这一结果令人印象深刻，但认为 AI 数学尚未被真正解决；该 Navier-Stokes 结果更像是一种反例搜索，而非完整的数学证明。
Thomas Wolf：AI数学并未解决，Navier-Stokes结果更像反例搜索而非完整证明
OpenAI 用下一代模型组成的 agent 群组得出了 Navier-Stokes 千禧年问题猜想为假的结果。Hugging Face 联创 Thomas Wolf 回应称，这一结果令人印象深刻，但他认为 AI 数学尚未被解决，该结果更像反例搜索，而非完整证明。
对 FDE 的影响在于：agent 群组可被用于快速搜索反例和试探性验证，但 AI 产出并不等于严谨证明。FDE 在企业交付中应区分探索性结论与确定性结论，避免过度承诺，也可借助前沿模型 agent 提升客户场景中的假设检验与边界探索效率。