解决数学难题曾是艺术，直到AI出现

OpenAI又向学术界投下了一枚重磅炸弹。这家公司近日宣称，他们动用数千个AI智能体，解决了一个困扰数学界数十年的难题——纳维-斯托克斯方程（Navier-Stokes）的存在性与光滑性问题。消息一出，数学圈的反应颇为复杂。科罗拉多州立大学数学家Juspreet Singh Sandhu直言：“艺术家和音乐家早就经历过这一轮冲击了。”言下之意，继创意产业之后，数学也没能幸免。 要理解这件事为什么引发争议，得先搞清楚数学家到底在做什么。在大众印象里，数学就是快速算出正确答案，但真正的数学研究更像是一种艺术探索——数学家构建的是“模式”，而非单纯解题。英国数学家G.H.哈代在1940年的《一个数学家的辩白》中就把数学家比作画家和诗人：画家用形状和色彩，诗人用文字，数学家则用思想搭建模式。纳维-斯托克斯方程最初由19世纪科学家提出，用来描述黏性流体的运动，工程师用它来模拟飞机设计中的气流。但数学家迷上这些方程，并不是因为它们的工程用途。范德堡大学的Jared Speck解释说，数学家关注的是方程本身的“数学丰富性和谜题感”。换句话说，解这个谜题不会帮你设计出更符合空气动力学的机翼，就像研究圆柱体的方程未必能让你烤出更好的蛋糕。它的吸引力更接近数独或国际象棋——纯粹因为有趣、烧脑。 问题就出在这里。数学家们花了数十年时间，围绕这些方程发展出一套“深刻而优美的理论”，而且已经接近破解谜题。OpenAI的做法却是用蛮力——堆砌数千个AI智能体直接给出证明，跳过了人类理解数学的渐进过程。这恰恰是让数学界不安的地方：证明本身或许是对的，但如果没有人能理解这个证明是怎么来的，数学作为一门追求“理解”的学科，意义就被架空了。哈代当年推崇“无用”的数学，认为数学应该为自身而存在。讽刺的是，他举例说数论是最“无用”的数学分支，结果数论后来成了现代加密协议的基石，保护着你的邮件和银行账户。而OpenAI这次给出的证明，目前来看才是真正的“无用”——它解决的是一个纯数学谜题，对现实世界没有直接应用。但真正的问题不在于有用没用，而在于当AI用暴力方式碾压人类数十年积累的思维路径时，数学这门学科的核心价值——人类对模式的理解和创造——是否正在被悄然改写。