在人类文明的浩瀚星河中，数学曾占据着极为特殊且神圣的地位。它不仅仅是计算的工具，更被许多顶尖数学家视为一种纯粹的艺术形式，一种类似于绘画和诗歌的创造活动。然而，随着人工智能（AI）技术的飞速发展，尤其是大模型和强化学习在科学计算领域的突破，数学界正经历着一场前所未有的范式转移。曾经引以为傲的数学直觉，正面临着来自算法“暴力”破解的巨大冲击。
数学之美，在于其简洁与优雅。一个完美的证明往往能用最少的步骤揭示宇宙的深层规律，这种美感是数学家毕生追求的目标。从欧拉恒等式到黎曼猜想，数学家们依靠的是对逻辑的敏锐洞察力、抽象思维以及漫长的冥想与推导。这种过程是慢速的、孤独的，却充满了人文主义的浪漫色彩。正如维基百科所言，数学是“科学皇后”，它建立在纯粹的逻辑之上，不依赖物理世界的观测。
然而，AI 的介入打破了这种传统的节奏。近年来，以 DeepMind 为代表的科技巨头在数学领域取得了惊人的成果。例如，AI 算法 AlphaTensor 在 2022 年成功发现了一种比人类已知的最快算法更快的新矩阵乘法算法；随后，AlphaGeometry 也在国际数学奥林匹克竞赛级别的几何证明题上展现出了惊人的解题能力。这些 AI 系统并非通过人类传统的逻辑推导来寻找答案，而是通过强化学习，在庞大的搜索空间中不断地试错、迭代，最终“暴力”地找到了最优解。
这种“暴力破解”的方式引发了数学界深刻的焦虑与反思。一方面，AI 在计算效率和特定问题上的表现已经超越了人类；但另一方面，AI 往往像一个“黑盒”。当 AI 给出一个复杂问题的答案时，我们很难解释它是如何得出的，更不用说从中领悟到数学背后的美学与原理。这导致了一个核心问题：如果 AI 只需要结果而不在乎过程，那么数学研究的意义何在？我们是在探索真理，还是在训练一个只会算数的计算器？
这种冲突也反映了当前科学研究的现状。在密码学、量子计算以及材料科学等领域，AI 的应用已经初见端倪。例如，通过优化矩阵乘法算法，AI 可以直接加速超级计算机的运算速度，从而在气候模拟或药物研发中节省宝贵的时间。然而，对于基础数学而言，AI 的介入可能意味着一种“外挂”手段。数学家们正在尝试将 AI 作为辅助工具，利用其强大的模式识别能力来寻找突破口，但同时也警惕着 AI 逐渐取代人类在定义问题、构建框架中的核心作用。
实际上，数学与 AI 的关系并非简单的替代，而是一种深度的融合。AI 需要数学作为其底层逻辑的基石，而数学也需要 AI 作为探索未知疆域的望远镜。未来的数学研究，或许不再是纯粹的“艺术创作”，而会演变成一种“工程学”与“艺术”的结合体。数学家们将更多地与计算机科学家合作，共同设计算法、验证猜想，甚至定义新的数学公理体系。
归根结底，数学是人类理性的最高体现。无论工具如何更迭，那种追求逻辑自洽与形式美感的冲动，始终是数学的灵魂所在。AI 的到来，或许正是为了帮助人类摆脱繁琐计算的束缚，让我们有更多的时间去仰望星空，去思考那些更本质、更宏大的数学问题。在这场人机博弈中，数学不仅没有被 AI 毁灭，反而在这种碰撞中展现出了一种全新的生命力。
信息来源：Feed: Artificial Intelligence Latest，原文链接：https://www.wired.com/story/solving-maths-greatest-problems-was-an-art-form-until-ai/
封面图片来源：Unsplash / 摄影师 Brett Jordan
