Open AI 宣称其内部的人工智能模型已解决了七个千禧年问题中的纳维-斯托克斯方程解的存在性与光滑性问题。通过构造出该问题的一个反例，证明了纳维-斯托克斯方程的解会在有限时间内发生爆破。

可以看出，自从 2016 年 AlphaGo 战胜韩国围棋世界冠军李世石后，人工智能的能力已从玩棋类游戏提升到破解顶级数学难题的水平。若我们只在乎某个数学问题是否被解决，则数学将与下棋一样，成为一种高级的智力游戏。而若我们依旧重视新的方法、思想、范式、理论框架的提出与深远影响，则人类的理性与智力在人工智能面前也许还能继续维持尊严，但究竟能保持多久便不得而知了。

由于人工智能使数学成为一种自娱的智力游戏，广大普通数学研究者的职业生存将面临具大威胁。与之相对的是仍有大量复杂的工程问题需要解决，在增进人的理解方面亦有很多工作可做。而这就需要做顶天立地的研究，将理论与实践、乃至与人之间的鸿沟彻底打通。让理论落地，解决用户的需求；为人服务，像艺术作品那样打动与赢得人心。

因此，人工智能在数学方面的全面胜出并不意味着数学的终结，而仅仅意味着对于拘泥于数学本身的人的职业终结。通过人机协作，工科研究者将有很大的机会和希望，向原本难以理解与触及的数学领域发起冲锋，并为我所用，为解决工程难题打开新的局面。当然，这对工科研究者的数学素养也提出了更高的要求。毕竟，要想把工程问题理性地、严谨地、有效地解决好，必须有纯粹数学知识持续、深度的介入。并且只有我们的数学水平高过一定的门槛，才能够引导人工智能，实现有效的人机协作。