核心信息

OpenAI宣布，一组AI智能体以Lean形式化验证的方式，给出了纳维-斯托克斯千禧年大奖难题的一个分析证明，表明流体在有限时间内可以形成奇点。该奇点表现为一个向内螺旋并不断拉伸的涡旋，形似意大利面。

要点

  • 智能体团队完成了分析证明与Lean形式化，针对的是数学物理中一个长期未决的核心问题。
  • 结果证明纳维-斯托克斯动力学中存在有限时间奇点，而非仅仅提供数值证据。
  • 奇点结构被描述为一个向内螺旋、不断拉长的“面条状”涡旋。
  • 这项工作展示了先进AI在深度数学证明中的应用潜力。