物理吧 关注:1,441,287贴子:5,330,084
  • 3回复贴,共1页

恭喜AI攻克七大千禧难题之一:NS方程

取消只看楼主收藏回复

流体力学中的NS方程是用来描述流体如何运动的微分方程。也就是说给定流体初始条件和系统外力,就可以通过解NS方程来得到整个流体的演化过程。
以下为大致内容:
naive的猜测:给定一个光滑(无限可导)的初始条件,以及全程光滑的外力,解出来的v(x,y,z,t)应该也是光滑的。
千禧年问题:是否存在一种情况,即便初始条件和外力都是光滑的,最终的解在有限时间内也会blow-up。
AI花了近100个小时,暴力找到了一类例子;即使初始条件和外力都光滑,也会blow-up



疑似含AI内容
IP属地:美国来自iPhone客户端1楼2026-09-09 10:19回复
    虽然证明并未完全核实,但已经跑通了Lean (验证形式化证明的工具)。这么爆炸的事情估计不会出乌龙。
    近几个月,数学领域着实是被AI狠狠地冲击了。不知道啥时候AI也轰动一下物理领域,但感觉冲击实验学科不太可能


    IP属地:美国来自iPhone客户端2楼2026-09-09 10:22
    回复
      2026-09-29 19:07:33
      广告
      不感兴趣
      开通SVIP免广告
      openai公布了166页的证明:网页链接


      IP属地:美国来自iPhone客户端3楼2026-09-09 10:23
      回复
        盖棺定论,ns问题共四个子问题,后两个被解决。其实从目前的案例可以看出来,AI在找反例方面确实很猛;
        但很多命题很可能是没有反例的。比如其中一大千禧难题是证明“杨米尔斯mass-gap”,这种甚至涉及QFT的公理化,难度会远高于ns问题。


        IP属地:美国来自iPhone客户端18楼2026-09-10 02:15
        回复