AI生成Navier–Stokes千禧年大奖难题解决方案获分享

OpenAI称使用内部模型破解千禧年大奖难题 当地时间9月8日，美国开放人工智能研究中心（OpenAI）宣布解决纳维-斯托克斯存在性与光滑性问题，这是千禧年大奖难题之一。光滑的三维流体运动是否会“破裂”，这个问题已悬而未决约90年。OpenAI表示，这一证明由其内部模型产生，模型能力显著强于GPT‑6 Astra，并生成解析证明和Lean形式化验证，表明描述流体运动的纳维-斯托克斯方程动力学演化可在有限时间内形成奇点。该解是一个涡旋，即旋转的流体漩涡，它向内盘旋并逐渐被拉长，像意大利面一样。OpenAI称，不打算为这一结果申领千禧年大奖。 OpenAI推出图像生成模型ChatGPT Ima...

来源：科技日报科技日报记者 张梦然当地时间8日，据OpenAI官方社交媒体及外媒网站消息，OpenAI发布声明称，一个比GPT-6 Astra更强、尚未公开的下一代模型，组织约1万个AI智能体，用88小时给出了纳维—斯托克斯方程存在性与光滑性问题的证明，并同步公开166页论文和Lean（计算机定理证明器）验证代码。该题是克雷数学研究所七大千禧年难题之一，悬赏100万美元求解，OpenAI称不会申领奖金。该事件目前已引发数学界争议，有数学家质疑AI是在访问了他们正在做的研究后才做出了成果。OpenAI披露，内部模型8月28日起开始训练。首批智能体启动约88小时后，系统9月5日得到解法，Astra...

科技日报记者 张梦然当地时间8日，据OpenAI官方社交媒体及外媒网站消息，OpenAI发布声明称，一个比GPT-6 Astra更强、尚未公开的下一代模型，组织约1万个AI智能体，用88小时给出了纳维—斯托克斯方程存在性与光滑性问题的证明，并同步公开166页论文和Lean（计算机定理证明器）验证代码。OpenAI解决纳维—斯托克斯方程涉及流体向内旋转并沿轴向拉伸，涡旋核心不断收缩，局部速度随之增大。图片来源：OpenAI该题是克雷数学研究所七大千禧年难题之一，悬赏100万美元求解，OpenAI称不会申领奖金。该事件目前已引发数学界争议，有数学家质疑AI是在访问了他们正在做的研究后才做出了成果。...

AI 正在进入数学世界的深水区。 就在刚刚，OpenAI 宣布，其内部 AI 系统完成了对纳维尔斯托克斯（Navier-Stokes equations）存在性与光滑性问题的一个解答，并同时公开了相关论文以及 Lean 形式化证明。 纳维尔斯托克斯方程不仅是千禧年大奖难题之一，也是现代流体力学最核心的理论基础，据传也是中国数学家韦东奕长期研究的方向。 OpenAI 表示，这份证明由一个内部多智能体系统完成，背后的模型能力显著超过 GPT-6 Astra。如果这一成果最终得到数学界认可， 它意味着 AI 已经开始参与解决过去几十年甚至上百年由顶尖数学家持续研究的问题。 1 万个 AI Agen...

2026-09-09 12:00来源：澎湃新闻 ∙ World湃>9月8日，OpenAI宣称，其使用训练中的新一代AI模型解决了“纳维–斯托克斯方程的存在性与光滑性问题”，过程由约1万个AI智能体，经88个小时完成。该难题被克雷研究所列为七大“千禧年大奖难题”之一。目前仍无法认定该难题已被解决，其成果仍有待数学界专家的审查。澎湃新闻记者 王蕴玮责任编辑：林顺祺+1234收藏

财联社9月9日讯（编辑 潇湘）OpenAI周二表示，通过调动约10000个AI智能体协同工作，仅用88小时就解决了著名的七大千禧年难题之一——纳维-斯托克斯方程(N-S方程)的存在性与光滑性问题。 早在2000年，数学领域七个最深奥、最复杂的未解难题被列为“千禧年大奖难题”(Millennium Prize Problems)。自那时起，全球最顶尖的智慧大脑纷纷投身其中，向这些数学皇冠上的明珠以及单项高达100万美元的悬赏发起冲击。 然而，尽管无数顶尖学者前赴后继、倾尽全力，此前也仅有一道千禧年难题被人类艰难攻克。 如今，OpenAI宣布已成功得到第二道千禧年难题的解法。而这一震撼世人的成果...

一句话读懂OpenAI于9月8日宣布，其一款尚未公开发布的内部模型解决了纳维-斯托克斯方程的存在性和光滑性问题，这是克雷数学研究所（Clay Mathematics Institute）2000年设立的七大“千禧年难题”之一。为什么重要如果被数学界认可，这将是继2010年佩雷尔曼证明“庞加莱猜想”后，七个“千禧年难题”中第二个宣告解决的问题，也是首次由AI系统主导攻克此类顶级数学难题。OpenAI首席科学家帕乔基说，一个月前他们完全没料到会讨论一个“千禧年难题”，认为这体现了AI能力的跃升速度。部分数学家在兴奋之余也产生了忧虑：如果最难的问题可以在人类很少参与的情况下被AI解决，人类对该领域的...

一句话读懂OpenAI于9月8日宣布，其一款尚未公开发布的内部模型解决了纳维-斯托克斯方程的存在性和光滑性问题，这是克雷数学研究所（Clay Mathematics Institute）2000年设立的七大“千禧年难题”之一。为什么重要如果被数学界认可，这将是继2010年佩雷尔曼证明“庞加莱猜想”后，七个“千禧年难题”中第二个宣告解决的问题，也是首次由AI系统主导攻克此类顶级数学难题。OpenAI首席科学家帕乔基说，一个月前他们完全没料到会讨论一个“千禧年难题”，认为这体现了AI能力的跃升速度。部分数学家在兴奋之余也产生了忧虑：如果最难的问题可以在人类很少参与的情况下被AI解决，人类对该领域的...

⚡看到华为三星折叠机受关注后，库克推动苹果加速研发折叠屏 iPhone 🧠OpenAI 发布 Navier–Stokes 千禧年难题候选解，等待数学界检验 🏷️DeepSeek Flash 系列 9 月 10 日起降价，V4.1 Flash 同步开启内测 🚗两部门要求车企定期报告供应商账期，重点企业每年接受评估 🏢小米中折叠「卖爆了」，首销较上代大折叠增长 310% 💻曝微信 PC 版接入 AI 助手「小微」，可操作聊天与小程序 💼蔚来与云南交投新一批高速换电站投运，覆盖 5 条高速双向服务区 🤖DeepSeek 新开约 150 个工程岗位，聚焦后端与 Agent 弹性计算 🤝...

Artificial intelligence has solved a major mathematics problem, but credit for the accomplishment is murky. Onurdongel/Getty Im...

RT Mo BavarianMy team worked very hard on the setup, infra, and the runs that resulted in this breakthrough. Many sleepless nights for many people in my team, and across OpenAI. It was a honor and pleasure. It's incredible and humbling to witness how far Artificial Intelligence has come. Dario's phr...

NYU mathematics professor Tristan Buckmaster announced three proofs on Tuesday with a preliminary finding on one of the major unsolved problems in theoretical mathematics. The findings, made in collaboration with Anthropic mathematician Levent Alpöge and using both Codex and Claude AI models, are si...

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.