OpenAI 发布 AI 生成的 Navier-Stokes 千禧年难题解答与 Lean 正式证明

OpenAI 在官网发布公告，分享 AI 生成的 Navier–Stokes 千禧年大奖难题解答，包含论文与 Lean 正式证明。