OpenAI 分享 Navier–Stokes 千禧年大奖问题的 AI 生成解法

OpenAI 分享了一个由 AI 生成的 Navier–Stokes 千禧年大奖问题解法，包含问题论述和一份 Lean 形式化证明。该解法以 AI 生成的方式呈现，并附有形式化验证，但尚未提及是否通过官方评审或正式获奖。