9月8日OpenAI宣布，其内部AI系统提出了纳维尔–斯托克斯千禧年大奖难题的一项解决方案。
纳维尔–斯托克斯问题是数学界著名的“千禧年大奖难题”之一，核心问题是描述流体运动的方程，在三维情况下是否可能从平滑状态发展出奇异性，这个问题已经持续困扰数学界近90年。
据OpenAI介绍，这项成果由约1万个人工智能智能体协同完成，整个求解过程持续约88小时。随后，研究团队又利用GPT-6 Astra进行了约17小时的形式化验证。
OpenAI表示，系统最终产生了一份解析证明以及对应的 Lean形式化证明。其核心结果显示，在特定条件下，流体可以在有限时间内形成奇异性。
图片来源网络
OpenAI形容，这一解决方案对应的流体结构类似一个不断旋转、向内收缩并沿轴向拉伸的巨大涡旋。
不过，这一成果目前更准确的说法是**“OpenAI提出了一项解决方案”**，其数学正确性及是否构成对千禧年大奖难题的正式解决，仍需要数学界进一步审查和验证。OpenAI目前公布的是论文、证明文本以及Lean形式化证明。