Thomas Wolf：AI 数学尚未解决，Navier-Stokes 结果更像反例搜索

Hugging Face 联创 Thomas Wolf 就 OpenAI 使用下一代模型（被描述为强于 GPT-6 Astra）的 agent 群组得出 Navier-Stokes 千禧年问题猜想为假的结果作出回应，称该结果令人印象深刻，但认为其更像反例搜索而非完整证明，并指出 AI 数学尚未被解决。

此前对 AI 参与数学研究的讨论多集中在能否给出完整证明，此次回应把关注点转向结果的性质界定：即便模型能力被描述为强于 GPT-6 Astra，其产出仍被业内归为反例搜索，说明能力提升与数学证明标准之间仍存在距离。

证据仅显示 Thomas Wolf 对结果的定性判断，未提供 agent 群组的工作方式、验证流程或证明形式化细节，因此无法据此解释反例搜索与完整证明之间的具体技术机制。

证据未涉及具体产品、成本或用户体验变化，无法据此推导直接影响。

• OpenAI 的 agent 群组具体如何得出 Navier-Stokes 猜想为假的结果，是否经过形式化验证？
• 被描述为强于 GPT-6 Astra 的下一代模型是否有正式名称或发布信息？
• Thomas Wolf 所称“更像反例搜索”的判断依据是什么？
• AI 数学尚未被解决具体指哪些环节，是证明生成、验证还是问题选择？