核心信息

OpenAI 宣布，一组 AI 智能体使用比 GPT-6 Astra 强得多的下一代模型，给出了纳维-斯托克斯千禧年大奖难题的一个解答。OpenAI 祝贺数学家 Levent Alpöge 与 Tristan Buckmaster，并表示没有为解题访问任何特定用户数据。

要点

  • 证明由一组智能体协作完成，并包含 Lean 形式化证明，表明流体在纳维-斯托克斯动力学下可在有限时间内形成奇点。
  • OpenAI 称，研究人员和智能体在该成果公开发布前没有通过任何途径看到两位数学家的工作，也未访问特定用户数据。
  • 公司承认无法完全排除去标识化产品使用数据对模型改进的帮助，但同时强调 AI 的证明与两位数学家的证明存在显著差异。