OpenAI发布了一篇博文，声称其内部智能体解决了纳维–斯托克斯存在性与光滑性问题，这是七大千禧年大奖难题之一。该成果在团队于9月1日启动工作约88小时后取得，此前有传言称数学家Tristan Buckmaster和Levent Alpöge也找到了解法。

  • OpenAI的智能体发送了270万条消息，并使用了约1300亿个输出token来解决纳维–斯托克斯问题。
  • 通过GPT‑6 Astra进行的Lean形式化与验证额外花费了17小时。
  • 在所有尝试的问题中，总工作量涉及490万条消息和约3000亿个输出token。
  • OpenAI表示未访问Buckmaster和Alpöge的具体用户数据，但无法排除去标识化数据对其模型有所改进的可能性。

文章强调了AI实验室可能利用客户数据来改进模型所带来的伦理影响，引发了人们对这种训练是否可能无意中帮助竞争对手率先解决问题。