OpenAI内部模型解千禧年难题，称被Anthropic刺激

比 GPT-6 Astra 更强的下一代模型曝光

OpenAI宣布，公司内部的一个AI模型解出了纳维斯托克斯方程的存在性与光滑性问题

这是克莱数学研究所2000年提出的七个千禧年大奖难题之一，每个悬赏100万美元

此前只有一个千禧年难题被解开过

该模型调动了多达1万个Agent 并行工作约88小时...

算力成本高达数百万美元，最后产出一份165页的证明，外加用Lean（一种能逐步验证数学论证逻辑正确性的编程语言）做的形式化验证）...

而做出这个证明的是一个还没公开、比GPT-6 Astra更强的下一代内部模型。

OpenAI表示不打算去领这100万美元奖金

有趣的是OpenAI这次公告发布前12小时，纽约大学的Tristan Buckmaster 和 Anthropic 的 Levent Alpöge刚宣布借助多种AI模型解出了几个密切相关的问题

OpenAI承认自己这次的工作在一定程度上是被这个传闻刺激的。

但双方对接后OpenAI发现，那两人解的其实是一个相关但不同的问题，受迫欧拉方程，并不是纳维斯托克斯本身...