#专家称AI有望破解数学史上最难方程#
“数学史上最难方程”的纳维斯-托克斯方程，是描述流体（液体和气体）运动的基本数学方程，它是千禧年七大数学难题之一，至今尚未被证明在三维空间中存在光滑解；

关于AI能做什么，今天看了Jason Wei的文章，可以略微猜测一下，他讲到一个观念：
凡是能量化的目标，终将被 AI 攻克；
凡是易于验证的任务，AI 将远超人类；
举了一个例子：AlphaEvolve
“找出能恰好包住11个单位正六边形的最小外接正六边形”。

这与汤大卫的观念有类似：如果纳维斯-托克斯方程职工奇点存在，AI将可以高效搜索海量流体构型，寻找接近奇异行为的线索，帮助人类完成最终的理论构建。

数学史上最难方程，光看方程名字就已经让我晕了，交给AI吧；