AI 公司因数学家反对而搁置千禧年难题解法

有消息称，AI 公司因 Navier-Stokes 证明引发数学界敌意反应，正搁置部分重大问题的解法，等待更好的处理方式。Haider 批评部分数学家的反对"自私且可悲"，认为 AI 公司不应因此退缩，并反问解决所有千禧年难题并不会让数学消失。