OpenAI证明纳维-斯托克斯方程存在有限时间奇点

9月8日，OpenAI宣布其内部多智能体系统已成功证明三维不可压缩纳维-斯托克斯方程能在有限时间内形成奇点，从而解决了这一世纪难题。该证明由OpenAI内部一个比GPT-6 Astra更强大的模型驱动，并于9月5日获得初步结果，随后进行了17小时的Lean形式化验证。OpenAI表示，该证明表明，在光滑外力的作用下，静止流体可以演化为向内螺旋并拉伸的涡旋结构，能量保持有限但速度无限增长，对应于千禧年大奖难题中的“C”和“D”情形。整个求解过程涉及约10,000个并发智能体，发送了约270万条消息，消耗了约1300亿个输出令牌。OpenAI承认，此次尝试受到Anthropic员工Levent Alpöge和纽约大学教授Tristan Buckmaster并行工作传闻的启发，并指出双方在欧拉方程正则性问题上的结果不同，OpenAI证明了无外力情形，而另一方证明了有外力情形。