[NS : maxneo] OpenAI 公布纳维-斯托克斯千年难题解答

OpenAI公布纳维-斯托克斯千年难题解答OpenAI于9月8日公布其内部AI系统对纳维-斯托克斯存在性与光滑性问题的解答，这是七大千年大奖难题之一。证明显示三维不可压缩流体方程可在有限时间内形成奇点，并附有Lean形式化验证。解答由约1万个并发智能体协作完成，9月5日得出结果，验证另耗时17小时，期间发送270万