AI的“暴力破解”本质上是一种缺乏理解的计算。它能给出答案，却无法解释为什么。一个靠穷举得出的定理，即便正确，也难以带来认知上的启迪。而人类攻克数学难题，往往伴随着新概念、新方法的诞生，研究过程本身会启发大量后续工作，研究成果经过同行评审、讨论消化，最终丰富了学科知识体系。

　　更严峻的是学术生态的损伤。数学证明要求绝对的逻辑严密性，AI生成内容的可靠性验证是一大难题。

　　OpenAI公司批量生产结果却不公开模型细节和提示词，需要数学家耗费大量时间做“义务验证”。这让数学家们认为，“一次性发布700多份文件，展示的不是学术研究，而是权力”。“AI宣布突破、人类免费善后”的倒挂，侵蚀了学术共同体的信任。不少青年学者担心研究方向被AI抢先，不敢公开自己的探索，这也破坏了学术共同体的正常生态。

　　这场大战，目前尚无赢家。AI展示了工业化解题的效率，却暴露了“答案”与“理解”之间的深刻断裂。数学家捍卫着学科的内在价值，却面临学术生态被商业逻辑侵蚀的现实困境。

　　回顾历史，从算盘到计算机，数学史上每一次工具革命都重塑了学科的面貌，却从未终结数学本身。

　　展望未来，AI时代的数学，大概率也将带来人机分工的重组。学界需要建立适配AI时代的学术规范，明确AI成果的发布标准、评审机制，厘清AI参与科研的边界。

　　数学的未来，不应该是人类被AI取代，而应该是人类以AI为助手，抵达任何一方都难以独自触及的远方。

　　（经济日报）