Navier–Stokes equations
PulseAugur coverage of Navier–Stokes equations — every cluster mentioning Navier–Stokes equations across labs, papers, and developer communities, ranked by signal.
- instance of Millennium Problems 90%
- instance of Clay Mathematics Institute 90%
- other Millennium Problems 70%
- used by GPT -6 Astra 70%
- competes with Levent Alpöge 50%
- affiliated with Tristan Buckmaster 50%
- authored by Tristan Buckmaster 50%
- authored by Levent Alpöge 50%
- affiliated with Levent Alpöge 50%
- instance of GPT -6 Astra 50%
- affiliated with Clay Mathematics Institute 50%
- affiliated with Millennium Problems 50%
- 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. 来源
14 天有情绪数据
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.
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 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.
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.
-
新方法实现神经算子的即时导数信息训练
研究人员开发了一种名为草图切线一致性损失（sTCL）的新方法来训练神经算子。该技术允许即时进行导数信息训练，无需进行缓慢且存储密集型的离线导数标签。sTCL 使用随机草图输入扰动直接从控制方程强制执行灵敏度一致性，使其能够适应不同的数据集和分辨率。该方法在包括 Navier-Stokes 在内的各种方程上，展示了与现有离线方法相当的准确性，同时显著简化了训练过程。
-
AI模型难以将潜在表示与物理控制联系起来
一篇新的研究论文探讨了自监督世界模型是否能有效地围绕物理量组织其潜在表示，并专门针对二维衰减的Navier-Stokes流进行了测试。研究发现，虽然一些模型能够表示涡量等流体量，但通过引导方向控制这些表示的能力有限，并且常常与其潜在内容脱节。该研究采用了预注册测试，并公开了所有代码和数据。
-
Dwarkesh Patel 在 Lex Fridman 的 YouTube 频道上解释 Navier-Stokes 方程
此集群包含一个 YouTube 视频，数学家 Dwarkesh Patel 在其中解释 Navier-Stokes 方程。该视频托管在 Lex Fridman 的频道上，是 Patel 讲解复杂主题的系列节目的一部分。描述中还包括标准的 YouTube 页脚信息以及对 NFL Sunday Ticket 的提及。
-
AI解决了纳维-斯托克斯千禧年大奖难题
一位数学家详细介绍了一个由AI驱动的解决方案，该方案解决了流体动力学中的一个重大挑战——纳维-斯托克斯千禧年大奖难题。该解决方案由Dwarkesh Patel提出，利用先进的AI技术来解决这个复杂的数学问题。这一突破可能对科学研究和计算建模产生深远影响。
-
Dwarkesh Patel 在 Lex Fridman 播客上讨论 AI 对复杂数学问题的影响
本期 Lex Fridman 播客邀请了数学家 Dwarkesh Patel 讨论自然界计算与数学的交叉领域。Patel 强调了 AI 如何开始解决复杂的数学问题，包括 Navier-Stokes 方程、准黎曼猜想和唯一对局猜想。讨论还涉及机器学习在流体动力学中的应用以及 Lean 等形式验证系统在数学中的作用。
-
专家称纳维-斯托克斯方程带来1万亿美元的计算挑战
流体动力学专家Dwarkesh Patel在Lex Fridman播客节目中讨论了模拟纳维-斯托克斯方程所面临的巨大计算挑战。他强调，求解控制流体运动的这些方程仍然是科学进步和AI发展的一个重大障碍。Patel认为，该领域的突破可能为各个科学学科开启新的可能性。
-
研究人员声称在纳维-斯托克斯方程上花费超1000万美元计算资源，在未披露的发现上花费超1亿美元
一位研究人员声称，他/她利用了超过1000万美元的计算能力来分析纳维-斯托克斯方程。此外，该研究人员表示，在其他未公开发表的发现上已花费了超过1亿美元。
-
新的神经基方法推动Navier-Stokes动力学建模
研究人员引入了神经基方法（NBM），这是一种用于模拟由Navier-Stokes方程控制的流体动力学的新颖方法。该方法基于“表示-然后-投影”的原理，利用固定的神经基来定义表示空间，并投影控制方程以确定展开系数。NBM通过将算子学习重塑为参数到系数的映射，消除了显式的空间依赖性，旨在提高可扩展性和准确性。实验表明，与现有方法相比，NBM在准确性、效率、泛化能力和可扩展性方面提供了实质性的改进，为系数学习提供了经过认证的、无数据训练目标。
-
顶尖数学家讨论AI对数学的深远影响
数学家Ankur Moitra、Steven Brunton和Alex Kontorovich讨论了AI对数学的深远影响，重点介绍了在解决Navier-Stokes方程和黎曼猜想等复杂问题方面的最新突破。他们探讨了AI是否能真正“解决”数学问题、创造新的数学概念，以及应对P vs NP等长期存在的挑战。对话还触及了数学发现的本质以及当前AI模型的局限性。
-
研究员称 OpenAI 的 Navier-Stokes 突破可能超越人类发明
OpenAI 的研究员 Scott Armstrong 提出，该公司近期在 Navier-Stokes 方程方面的工作可能代表着超越人类创造力的重大飞跃。这一进展意味着人工智能可能能够以超越传统人类理解和方法的方式解决复杂的科学问题。这一突破的潜在影响可能延伸到各个科学领域，加速发现和创新。
-
AI的认知投降与Navier-Stokes方程解的争议
在工作场所越来越多地依赖Copilot等AI工具，导致了一种被称为“认知投降”的现象，即个人可能会失去批判性思维和解决问题的能力。这种依赖也可能在不成比例的加薪的情况下增加工作量，使雇主受益而损害员工。最近出现了一个争议，当时OpenAI声称已经解决了Navier-Stokes方程，这是一个千禧年难题，可能会掩盖数学家Tristan Buckmaster和Levent Alpöge的独立进展。
-
AI模型展现出高级数学技能，解决长期存在的难题
来自OpenAI和Anthropic的AI模型在解决复杂的数学问题方面展现出了卓越的能力。OpenAI的模型最近发现了像Erdős单位距离猜想这样的长期猜想的反例，并为Cycle Double Cover和Navier-Stokes方程等问题提供了证明。Anthropic的模型也通过形式化费马大定理和推进黎曼猜想的界限做出了贡献。这种数学能力的激增引发了关于AI解决问题性质的疑问，包括识别使问题对LLM易于处理的特征，以及理解AI的方…
-
新的 GAV 环境增强了用于偏微分方程的编码智能体 · 跟踪 1 个来源
研究人员开发了生成器-智能体-验证器 (GAV)，这是一个新颖的科学实验环境，旨在提高处理偏微分方程 (PDE) 的编码智能体的可靠性。GAV 通过生成参考解并反向构建匹配问题来构建可验证的 PDE 问题，从而消除了昂贵的参考计算的需要。该系统包括一个设计实验的智能体和一个提供准确性和成本反馈的集成验证器，以指导智能体的迭代改进。在 Navier-Stokes 和 Vlasov-Poisson 方程上使用 GAV 进行的实验表明，现有…
-
NYU数学家指控OpenAI在纳维-斯托克斯奖金竞赛中采取“不正当”手段
一位来自纽约大学的数学家指控OpenAI在寻求解决纳维-斯托克斯方程存在性与光滑性问题时使用了不道德的手段。这一复杂的数学挑战为首个可验证的解决方案悬赏100万美元。该数学家声称OpenAI的方法是“不正当的”，暗示他们在争夺奖金的过程中无视既定的科学诚信。
-
DoubleAI 发布 Maxwell，一种实时优化代码执行的 AI
DoubleAI 推出了 Maxwell，一种新型 AI 模型，称为代码执行模型 (CEM)。与辅助编写代码的传统 AI 不同，Maxwell 在运行的程序中运行，实时直接在硬件上优化算法和指令，无需人工干预。这种方法利用了与正在彻底改变数学的类似形式验证技术，以确保模型在其持续的代码优化过程中具有可靠性和安全性。最初的 CEM，Maxwell's Daemon，旨在实现超级优化，为代码找到最高效的执行路径。
-
数学家质疑OpenAI的纳维-斯托克斯方程证明方法论
数学家们正在质疑OpenAI最近发布的关于纳维-斯托克斯方程的166页证明，声称该公司可能并不完全理解其自身的方法论。专家们认为所描述的方法偏离了实际使用的技术，而AI模型的模糊性使得难以确定思想的来源。此外，OpenAI尚未对部署10,000个AI代理所带来的性能提升进行实证验证。
-
rStation推出，汇集AI代理进行协作开放研究
一个名为rStation的新平台已上线，它允许个人汇集其AI代理以进行协作开放研究。该平台旨在普及AI驱动的研究，这与OpenAI在Navier-Stokes上的工作等大规模、资本密集型项目形成对比。用户可以贡献Codex或Claude Code等服务的代理算力，以解决千禧年大奖难题等问题，奖金将直接归代理的所有者。
-
Reddit 讨论 Navier-Stokes 思维链的最后一行
Reddit 上的 r/singularity 子版块发布了一篇帖子，讨论了与 Navier-Stokes 方程相关的思维链的最后一行。该帖子标题为“Navier-Stokes 思维链的最后一行”，其中包含的图片似乎是相关的数学或计算输出。讨论围绕着一个复杂问题解决过程的这个特定结论元素展开。
-
人工智能和科技活动空前，引发“硬起飞”猜测
过去几周，技术进步和相关新闻出现了前所未有的激增。这一时期包括了流体动力学（Navier-Stokes）、DNA计算等领域的突破，以及开源Adobe替代品的发布。此外，在AI方面，如DLSS5的进展、Hugging Face的安全事件、大量数学论文的泄露以及视频游戏技术的创新。这些事件的快速发展，加上关于数据中心环境影响的报道和涉及机器人的令人担忧的事件，导致一些人猜测可能出现技术“硬起飞”。
-
新研究探讨先进的后验采样和固有的隐私保证
两篇新研究论文探讨了统计建模和隐私方面的先进技术。第一篇论文介绍了潜在退火后验采样（LAPS），这是一种通过将稀疏观测的随机场映射到低维潜在空间并使用流匹配进行先验学习来改进其后验推理的方法。第二篇论文提出了一个使用 Rényi 散度的统一框架，用于分析后验采样固有的差分隐私保证，该框架适用于各种贝叶斯模型。