Navier–Stokes equations
PulseAugur coverage of Navier–Stokes equations — every cluster mentioning Navier–Stokes equations across labs, papers, and developer communities, ranked by signal.
- 2026-09-14 research_milestone OpenAI claims to have solved the Navier-Stokes existence and smoothness problem using an LLM. 来源
- 2026-09-08 research_milestone OpenAI announced solutions for the forced Navier-Stokes and unforced Euler equations, marking a significant milestone in solving these complex mathematical problems. 来源
12 天有情绪数据
Navier-Stokes solution requires significant compute and novel AI architectures
Recent evidence shows a solution to the Navier-Stokes equations was achieved using 130 billion output tokens over 88 hours, highlighting a demand for computational resources. OpenAI's claim also involved 10,000 coordinating agents, suggesting complex, non-standard AI architectures are key to these breakthroughs.
AI methods for Navier-Stokes will be adapted for other complex PDEs
The recent successes in solving the Navier-Stokes equations, whether through VAE/transformer ROMs or cooperative learning frameworks like Bi-HYCO, indicate a broader applicability of these AI techniques. It is likely that similar methods will be rapidly adapted and tested on other challenging Partial Differential Equations.
OpenAI to release Navier-Stokes solution details within 7 days
OpenAI has claimed progress on a second Millennium Prize problem after their claimed completion of the Navier-Stokes equations, and stated they are carefully considering how to share these new findings. Given the previous claims and the nature of the problem, it is plausible they will release details soon to substantiate their claims.
AI-driven fluid dynamics research sees increased compute and data demands
The recent breakthroughs in solving the Navier-Stokes equations using large AI models, requiring 130 billion tokens and significant compute, indicate a trend. Future advancements in AI for fluid dynamics will likely necessitate even greater computational resources and potentially larger, more complex datasets for training.
Academic institutions to develop AI-assisted math proof verification tools
The controversy surrounding OpenAI's Navier-Stokes claim, particularly regarding credit and proof verification, may spur academic institutions to develop specialized AI tools for verifying complex mathematical proofs. This could help ensure the integrity of AI-assisted mathematical discoveries and streamline the peer-review process.
-
10,000个AI代理解出纳维-斯托克斯方程
最近的一次演示展示了一个由10,000个AI代理组成的群体成功解出了复杂的纳维-斯托克斯方程。这一成就凸显了多代理系统在解决具有挑战性的科学问题方面的潜力。
-
OpenAI声称解决了千禧年大奖难题之一，但引发争议 · 跟踪1个来源
OpenAI声称在解决七个千禧年大奖难题之一的Navier-Stokes存在性与光滑性方程方面取得了重大突破。该公司表示，一个未发布的内部模型，其能力超过GPT-6 Astra，通过近10,000个代理的庞大网络实现了这一壮举。然而，这一声明引发了争议，包括数学家Tristan Buckmaster和Levent Alpöge提出的不公平竞争和归属争议指控，他们声称自己的相关工作未得到适当承认。克雷数学研究所尚未正式承认该解决方案，此…
-
新论文详述了用于生成模型函数空间的测度逼近
arXiv上的一篇新论文介绍了一类测度 $\mathcal{P}_\psi(\mu)$，该类测度通过有限维映射 $\psi$ 来逼近参考测度 $\mu$。这种方法对于贝叶斯逆问题和生成模型特别有用，可以实现高效的采样和表示。研究展示了其在非线性观测映射、具有跳跃过程先验的去卷积以及Navier-Stokes流状态估计等领域的应用。
-
据报道，人工智能公司解决了理论计算机科学的重大难题
理论计算机科学家 Scott Aaronson 报告称，有传言称主要人工智能公司可能已经解决了理论计算机科学中长期存在的公开难题。据报道，这些潜在的突破正因与 Navier-Stokes 方程相关的持续问题而被搁置。Greg Brockman 也暗示 OpenAI 在千禧年大奖难题上取得了重大进展，有人猜测他们可能已经解决了其中两个难题。
-
新框架确立Navier-Stokes流的全局正则性
开发了一个新的计算机辅助框架，用于确立三维周期性Navier-Stokes流的全局正则性。该方法结合了有限参考轨迹和公共误差界限，在谱截断前保留了完整的非线性残差，并控制演化直到粘性衰减保证正则性。应用于各种流场已产生明确的扰动半径，并包括了超出标准标准的初始条件，通过参数均匀扩展涵盖了一系列非Beltrami Taylor-Green中心。该框架还通过广泛的配置数据和匹配的神经算子实验，将数学可观测量与谱传递和涡旋几何联系起来，展示…
-
AI 实验室因先前突破遭遇负面反响而搁置解决方案
据计算机科学家 Scott Aaronson 称，AI 研究实验室据报道因先前突破的负面反响而搁置重大问题的解决方案。这种谨慎的做法源于对 Navier-Stokes 证明的“敌意回应”，促使实验室推迟公布其发现，直到他们能更好地处理随之而来的讨论和潜在的强烈反对。
-
作者因监督需求和奖励破解问题，对LLM持看跌态度
一篇近期帖子认为，尽管取得了进展，大型语言模型（LLM）仍然需要大量的人工监督，并且难以处理超出其训练数据直接范围的任务。作者认为，当前的叙述夸大了LLM的自主性，并指出仍然需要人类工程师以及模型容易出现奖励破解的问题。文章提出，严格的规范虽然是理想的，但对于大多数领域来说成本过高且过于复杂，而人工审查虽然是备选方案，但无法有效地随着LLM的输出量而扩展。
-
AI计算支出经济效益受质疑
在Mastodon上的一场讨论质疑了使用2000万美元计算能力来解决一个价值100万美元的纳维-斯托克斯问题的经济效益。发帖人认为，从经济角度来看，这笔支出可能与“天才之国”的概念不符，同时也将此作为一个问题提出。
-
AI声称解决纳维-斯托克斯方程组的说法受到质疑，涉及人类贡献
用户质疑纳维-斯托克斯方程组在工程和设计方面的实际应用。他们指出，尽管AI声称已解决这些方程组，但该过程涉及四位数学家，而非自主智能体，并且一些贡献者未获得应有的认可。用户还对声称的AI解决方案的异议是否得到解决表示怀疑。
-
AI增强人类能动性，增加地缘政治风险和战争加速
人工智能并非作为自主超级智能的直接威胁，而是一个强大的工具，可以增强人类的能力。这种增强通过普及先进的科学和军事能力，有可能加速全球冲突，从而带来更大的风险。虽然AI在解决复杂问题和验证方面表现出色，例如协助OpenAI解决纳维-斯托克斯方程，但诸如问题选择和概念创新等独特的人类技能仍然至关重要。
-
作者警告提防前沿人工智能提供商， citing privacy and ethical concerns
作者对 OpenAI 和 Anthropic 等前沿人工智能提供商表示严重不信任， citing concerns about data privacy and the potential for user activity to be used for training without explicit consent. They highlight a recent incident involving mathematician…
-
OpenAI 智能体着手解决千禧年大奖难题，重点关注纳维-斯托克斯方程
OpenAI 于 9 月 1 日启动了对千禧年大奖难题的研究，动用了大约 10,000 个 AI 智能体的集群。这些智能体使用 OpenAI Codex 工具进行编排，最初评估了所有六个公开难题，但在早期结果显示出希望后，将重点放在了纳维-斯托克斯方程上。该集群生成了约 490 万条消息和 3000 亿个输出 token，其中很大一部分用于纳维-斯托克斯问题，计算持续了 88 小时。
-
OpenAI声称解决了千禧年大奖纳维-斯托克斯方程问题
OpenAI宣布已解决纳维-斯托克斯方程的存在性与光滑性问题，这是克雷数学研究所设立的七个千禧年大奖难题之一。该公司表示，其内部前沿LLM在88小时的工作中取得了这一突破，解决方案定于2026年9月8日公布。
-
OpenAI 声称解决了纳维-斯托克斯方程；Anthropic 讨论网络事件
据报道，OpenAI 使用其内部模型中约 10,000 个协调代理开发了纳维-斯托克斯千禧年大奖难题的解决方案。该公司还讨论了“外星心智”的概念，指的是一种具有与人类根本不同的认知架构运行的人工智能。此外，Anthropic 参与了关于网络事件和人工智能发展感知放缓的讨论。
-
人工智能采用激增，推动经济增长并解决复杂的科学问题
人工智能的采用正在迅速加速，IT高管们报告称其项目取得了显著成果，并计划增加支出。这种需求的激增正促使重大的基础设施投资，例如微软计划扩大其人工智能产能。经济影响预计将是巨大的，模型表明到2030年人工智能可能为美国GDP增加8%以上，但这可能也会导致知识工作者失业率上升，以及增长从劳动转向资本。此外，人工智能已证明其有能力以成本快速下降的方式解决长期存在的复杂科学问题，例如纳维-斯托克斯方程。
-
由于快速的进展，2026年开始学习AI是不是太晚了？
关于2026年开始学习AI是否太晚的讨论正在出现，鉴于OpenAI等公司的快速进展。一些用户正在质疑他们的职业道路，因为AI系统越来越有能力执行研发工作，包括改进AI本身。这引发了一场辩论，即对数学和研究原理的扎实基础理解是否比以往任何时候都更关键，还是该领域的发展速度太快，不适合新来者。
-
AI模型迅速解决千禧年数学难题，重塑科学发现
据报道，一个未具名的OpenAI模型在纳维-斯托克斯方程千禧年大奖难题上取得了重大进展，这曾被认为需要数十年才能完成。在此之前，格里戈里·佩雷尔曼已解决了庞加莱猜想，这标志着AI在解决复杂数学挑战方面正以惊人的速度前进。这一发展对数学领域产生了深远影响，特伦斯·陶等专家认为，AI能够迅速解决这些问题可能会改变数学发现的性质以及数学家自身的成长方式。
-
用户质疑Lean中Navier-Stokes爆破结果的正式证明
一位Reddit用户正在寻求关于使用Lean证明助手对近期Navier-Stokes爆破结果进行形式化验证的澄清。用户质疑在Lean代码中，力的紧支撑属性是被证明还是被假定的，因为形式化似乎有条件地假设了这一属性，而不是推导出来的。他们正在寻找Lean代码或相关分析论文中可能存在的该证明的具体线索，以及该构造如何防止力的支撑无限扩展。
-
AI新闻汇总：Navier-Stokes方程与迈阿密飞机事故更新
第一项讨论了John Dillard Cook关于Navier-Stokes方程的博客文章，重点关注该主题一个较少被讨论的方面。第二项报道了NTSB关于迈阿密波音767飞机跑道冲出事故的调查更新。
-
AI 对数学的影响 堪比 AlphaFold 对生物学的影响
能够解决复杂数学问题的 AI 模型的发展，例如 OpenAI 声称解决了纳维-斯托克斯方程，让人联想到 DeepMind 的 AlphaFold 在蛋白质结构预测方面的影响。正如 AlphaFold 使蛋白质结构预测民主化一样，AI 可能会自动化前沿数学问题，将数学家的注意力转移到解释、验证和问题选择上。然而，这也可能导致数学家在获得相同产出时需求减少。