OpenAI发布Navier-Stokes千禧年难题AI证明

AI生成千禧年难题正式证明

OpenAI公开了一个AI生成的Navier–Stokes方程存在性与光滑性问题（千禧年七大数学难题之一）的解决方案，配套提供技术说明文档和基于Lean定理证明器的形式化证明。