OpenAI内部模型解出纳维斯托克斯方程
比 GPT-6 Astra 更强的下一代模型曝光 OpenAI宣布，公司内部的一个AI模型解出了纳维斯托克斯方程的存在性与光滑性问题 这是克莱数学研究所2000年提出的七个千禧年大奖难题之一，每个...
OpenAI用比GPT-6 Astra更强的模型解决了数学界90年未解的难题，还和纽约大学、Anthropic的研究做了对比。
OpenAI宣布其内部模型解出了纳维斯托克斯方程的存在性与光滑性问题。这是克莱数学研究所2000年提出的七个千禧年大奖难题之一，每个悬赏100万美元。该模型调动了1万个Agent并行工作88小时，算力成本达数百万美元，产出165页证明。该模型比GPT-6 Astra更强，但OpenAI不打算领取奖金。
比 GPT-6 Astra 更强的下一代模型曝光 OpenAI宣布，公司内部的一个AI模型解出了纳维斯托克斯方程的存在性与光滑性问题 这是克莱数学研究所2000年提出的七个千禧年大奖难题之一，每个...
比 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 💬 1 🔄 0 ❤️ 4 👀 2724 📊 1 ⚡
