当AI暴力破解数学难题，数学家们开始反击
数学，这门人类最富创造力的学科，正面临AI的冲击。OpenAI宣称用数千个智能体解决了困扰数学界数十年的Navier-Stokes存在性与光滑性问题，但数学家们并不买账。他们担忧，这种暴力破解的方式正在侵蚀数学作为一门艺术的核心——人类对模式的理解与创造。
数学是艺术，不是速算
“数学家，就像画家或诗人一样，是模式的创造者。”英国数学家G.H.哈代在1940年的《一个数学家的辩白》中写道。画家用形状和色彩，诗人用文字，而数学家则用思想构建模式。尽管高中计时考试可能让你觉得数学就是快速得出正确答案，但真正的数学研究更像是一种艺术探索——发明游戏或谜题，而非机械计算。
科罗拉多州立大学数学家Juspreet Singh Sandhu指出：“艺术家和音乐家已经经历过这一切了。”从Suno创作出诡异的电梯音乐，到Tilly Norwood说出带有客服腔调的俏皮话，AI已经搅动了创意产业。现在，数学也加入了这份名单。
OpenAI的暴力证明：捷径还是威胁？
OpenAI宣称，通过数千个智能体，它解决了一个被称为Navier-Stokes存在性与光滑性问题的数十年谜题。这个问题源于19世纪科学家为描述粘性流体流动而开发的Navier-Stokes方程。工程师用这些方程模拟飞机设计中的气流，但数学家们迷恋的是方程本身，而非其应用。
与数学家通常遵循的深思熟虑、循序渐进的过程不同，OpenAI以暴力方式逼近证明，这种捷径可能削弱人类的理解。目前，OpenAI的证明是“无用”的——它解决的谜题只是数学家们几十年来感兴趣的一个问题，尚未带来实际应用。
数学的“无用”之美与意外之用
哈代在二战期间写就《一个数学家的辩白》，主张人们应为数学本身而追求数学，独立于应用，尤其是战时应用。他推崇“无用”的数学，并引用高斯关于数论的著名言论作为美丽而无用之数学的典范。数论是研究整数的数学子领域。
然而，哈代在某些具体问题上错了：在“无用”数百年后，数论被证明对当今广泛使用的加密协议极具价值，这些协议保护着你的电子邮件和银行账户。
人类理解 vs. 机器暴力
OpenAI的证明之所以“无用”，是因为它没有增进人类对数学的理解。数学家们担忧，如果AI继续以暴力方式解决数学问题，数学作为一门创造性艺术的本质将受到威胁。数学不仅仅是得到答案，更是关于理解为什么答案是正确的，以及构建新的模式来拓展人类知识的边界。
这场争论的核心是：当AI能够以人类无法理解的方式解决复杂问题时，我们是否应该接受这种“黑箱”式的解决方案？还是应该坚持数学作为人类理解世界的一种方式，即使这意味着进展会更慢？
目前，数学家们正在努力保护他们的学科免受AI暴力破解的冲击。但正如Sandhu所言，其他创意领域已经经历了这种冲击。数学能否保持其艺术性，或许取决于数学家们如何与AI协作，而非对抗。