OpenAI称内部AI系统解决纳维-斯托克斯难题

发生了什么

据OpenAI公告，其内部AI系统生成了解决纳维-斯托克斯千禧年大奖难题的证明。该系统通过约10,000个并发智能体协同工作，解析证明表明初始静止且光滑的流体在有限时间内可产生奇点，从而解决了难题官方表述中的命题C和D。OpenAI分享了论文及Lean形式化版本。