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

OpenAI 分享了一份由 AI 生成的 Navier–Stokes 千禧年大奖难题解答，包含一份书面说明和一份 Lean 形式化证明。