智能体
x.com ·
@小互(@imxiaohu)
OpenAI内部模型据称解决Navier-Stokes千禧年难题
OpenAI宣布其内部下一代模型（据称强于GPT-6 Astra）解决了Navier-Stokes方程的存在性与光滑性问题，动用1万个Agent并行工作88小时，生成165页证明并用Lean验证。但该结果尚未经同行评议，且与Anthropic研究者的相关工作存在差异，需进一步确认。
AI推荐理由 转述OpenAI官方公告，声称内部模型解决Navier-Stokes千禧年难题，但缺乏独立验证，且与Anthropic研究者的工作存在争议，需谨慎对待。
70
正文
比 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发现，那两人解的其实是一个相关但不同的问题，受迫欧拉方程，并不是纳维斯托克斯本身...
OpenAI@OpenAI
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
[🔗 View Quoted Tweet](https://x.com/OpenAI/status/2097374640582668336)
💬15🔄1❤️41👀16695📊14