暴力破解找例子吗 虽然感觉ai很牛逼 但是看到这句话咋感觉ai不咋牛逼的样子 有没有大佬跟我解释一下

这次证伪的是在三维环面T³上的情形，更物理的R³版本还没构造出来，也不能说解决了
但是这种时候还只唱反调就没意思了，大AI时代来临

盖棺定论，ns问题共四个子问题，后两个被解决。其实从目前的案例可以看出来，AI在找反例方面确实很猛；
但很多命题很可能是没有反例的。比如其中一大千禧难题是证明“杨米尔斯mass-gap”，这种甚至涉及QFT的公理化，难度会远高于ns问题。

感觉ai在证伪一项命题上是不是会相对容易一些？只要迭代算法找到高速发掘反例的路线就行，但证明一个真命题约束就更苛刻了

如果是真的那确实牛，感觉Ai在理论物理可能也会有重大作用，当然与数学不同的是，物理可以也是必须用实验验证才行。忘记哪个诺奖得主了提了个“爱因斯坦测试”，就是让Ai的数据限制在1905年之前，看Ai能不能推导出相对论。

啥时能扔个模型，自动给我画CFD网格，跑fluent模拟就好了！

没啥用，对于推动人类基础科学的发展意义不大。

是不是能预测天气了

卧槽 幸好我前几年毕业了
我博士期间一个很大的课题就是做NS方程再几个特定条件下的优化 做了三年现在看就是AI一晚上的功夫

本科上流力的时候就觉得ns方程不是人能解的，没想到现在真不是人解的

怎么那么多人觉得就算穷举暴力算的这么多年修超算修的也不少了数学家能用到的也多，是觉得微软不声不响就把各大超算全打爆了吗？

希望ai有一天能在解题过程中不再依赖于暴力破解找反例，而是真正能找到新方法、新工具、新思路

我就说原神是最贴合现实的游戏吧，就米哈游跟得上地球 ol 的数值膨胀速度