OpenAI人工智能模型解决了Navier-Stokes千禧年数学难题
Tap title to read story
0:00 / 1:09
OpenAI宣布，一个先进的未发布人工智能模型解决了Navier-Stokes存在与光滑性问题，这是克雷数学研究所设立的七个千禧年大奖难题之一。大约10,000个自主AI代理并行运行，在88小时内完成了解决方案，利用了大量的计算资源。该证明表明，模拟流体动力学的Navier-Stokes三维方程可以在有限的时间内产生奇点。OpenAI公布了分析证明以及用Lean编写的机器验证的公式化。该声明立即引起了纽约大学数学家Tristan Buckmaster和Anthropic研究员Levent Alpöge的关注和优先权争议。Buckmaster表示，在他和Alpöge即将取得相关方程突破时，OpenAI加速了其研究，并质疑OpenAI是否利用了用户与其OpenAI服务互动的数据。OpenAI否认访问私有用户数据或未发布的预印本，并坚称其内部模型独立取得了成果。
More context
Timeline
- 2000年5月24日，克雷数学研究所公布了千禧年大奖难题。
- 2026年8月28日，OpenAI启动了新模型的训练。
- 2026年9月1日，OpenAI评估了公开的千禧年数学难题。
- 2026年9月8日，OpenAI公开宣布了纳维-斯托克斯方程的证明。
- 2026年9月8日，研究人员发布了分析证明和Lean证明。
- 2026年9月8日，数学家特里斯坦·巴克马斯特对优先权提出争议。
- 2026年9月8日，OpenAI否认使用了非公开的用户数据。
- 2026年9月9日，独立数学家开始审查正式证明。
- 2026年9月9日，科学界就高级人工智能能力展开辩论。
- 在接下来的几个月里，全球数学家将对这些证明进行全面审计。
Why it matters
即时美国影响：提升了美国在尖端科学研究应用方面的人工智能信誉。 可能产生的长期美国影响：加速全球学术和企业实验室的自动化数学发现。 受影响最大的群体：全国的数学家、人工智能研究人员、科技公司和学术机构。 读者优先事项：密切关注主要的预印本服务器和独立的同行评审学术回应。
Coverage notes
左： 强调公司竞争、数据争议和提出的道德安全问题。 中： 侧重于技术机制、智能体集群和数学验证细节。 右： 突出技术优势、市场估值潜力和科学进步速度。
Primary report
2026年9月8日，OpenAI发布了一篇博客文章，宣布了证明。
Sources
JQJO Editorial Desk · Human reviewed · AI assisted. Report a correction.
