量子位近日发布文章《陶哲轩邓煜究竟在反对什么：AI暴力解题摧毁人类数学精神》，把讨论的焦点对准数学家陶哲轩与邓煜对当前 AI 解题路径的质疑（原文链接：https://www.qbitai.com/2026/09/487653.html）。
从文章的设问来看，争论的关键并不在于“AI 能不能把题做出来”，而在于“做出来”这件事本身意味着什么。所谓“暴力解题”，指向的是一种以算力、搜索和穷举为主的求解方式：它可能给出正确答案，却未必带来可被理解的证明结构，也未必沉淀为数学知识。文章用“摧毁人类数学精神”来概括这种担忧，说明被质疑的不只是技术能力边界，还有数学作为人类智识活动的价值内核。
这一质疑之所以值得 AI 从业者关注，是因为它触及了评价体系的问题。如果以“是否解出题目”作为唯一标尺，AI 的产出会显得进展迅速；但若以“是否增进了理解、是否可被人类数学家接续和推广”来衡量，结论可能完全不同。对做数学推理、形式化证明和评测基准的团队而言，这意味着需要重新审视目标函数：优化答案命中率，还是优化证明的可读性、可检验性与洞察含量。
同时，这一讨论也关乎人的位置。数学训练长期依赖解题过程来培养直觉与品味，若解题环节被大规模外包给机器，数学教育与方法传承会发生什么变化，是文章提出的现实问题。
需要说明的是，上述分析基于该文的标题与核心论点展开，陶哲轩与邓煜的具体表述、论证细节与完整语境，仍需回到原文阅读。可以确定的是，随着 AI 在数学任务上的能力提升，“什么样的数学成果才算有价值”这一标准问题，正从哲学讨论变成工程与评测层面必须回答的问题。