当AI开始解难题，数学家却开始担心
过去几个月，大语言模型的数学能力一路狂飙。
它们不仅能刷奥数题，还开始冲击真正的数学前沿难题。但就在这个节骨眼上，25位菲尔兹奖得主突然联名发了一篇檄文。
他们说：AI公司这种“解题竞赛”，正在伤害数学本身。
这不是普通的小作文。署名名单能凑出半部当代数学史：Artur Avila、Manjul Bhargava、陶哲轩（Terence Tao）、Peter Scholze、Maryna Viazovska……几乎把近几十年的顶尖数学家一网打尽。
他们的核心观点很尖锐：AI公司和数学界的目标，根本不在一条线上。
数学不是“对答案”，是“理解”
数学家真正关心的是什么？
不是单纯证明某个命题为真，而是通过证明获得对结构、形状、数字和自然现象更深的理解。一个重大问题的解决，往往意味着新的思想、方法和视角出现。接下来是漫长的讨论、简化、讲座、论文，最终把这些思想写进教科书，传给下一代。
公开信里有一句话很关键：
“Solving problems is only a tool and proxy for achieving the primary goal of conceptual understanding and insight.”
翻译过来就是：解题只是手段，理解和洞察才是目的。
但AI公司做的，恰恰是把这个“手段”变成了目标。只要模型能在某个 benchmark 上刷出高分，就算赢。至于是不是真的理解了数学，没人关心。
“批量生产真命题”可能毁掉创新的土壤
这封联名信最严厉的警告，是速度带来的副作用。
AI可以在极短时间内“批量生产”越来越多的 true/false 陈述。但数学的进步不是靠堆答案，而是靠新思想生根发芽。如果解题变成了一场比谁更快的军备竞赛，那结果可能是：
- 证明写得很仓促，没有时间去沉淀新方法；
- 相关前人工作被忽略，归属和抄袭问题频发；
- 没有数学家愿意接手消化，AI 生成的想法就无法进入数学正典。
信里说得直白：
“AI-conceived ideas would never become fully alive and the crucial human transmission chain between mathematicians would be lost.”
没有人类之间的传承，再正确的答案也只是一具尸体。
这不是数学一家的事，是“所有脑力劳动”的预演
联名信把问题拔高了一层。数学界的遭遇，其实是所有科学和创意行业的前兆。
医生、律师、程序员、作家、设计师——AI 都在快速产出“结果”。但这些结果背后，原本需要多年训练才能培养出的理解力、提问能力和创造力，正在被绕过。
“How to make sure that, as AI changes the way work is done, we do not lose sight of what that work was meant to achieve in the first place.”
换句话说：活是干完了，但活原本想干嘛，没人记得了。
反转：有人觉得“猫已经出笼了”
当然，评论区并不都站在数学家这边。
有人拿国际象棋类比：当年也有人说电脑会毁掉象棋，结果三十年后，象棋比以前更火，棋手也更强。AI成了新的教练，反而让人类水平整体提升。
也有人认为，问题本来就不在于“谁解题”，而在于“解题”这个衡量标准本身被AI拉爆了。一位评论者说：
“It doesn't seem like what AI has destroyed is the ability for mathematicians to develop understanding... rather it's destroyed the yardstick.”
更有人抛出一个更冷的观点：如果AI真的成功了，人类理解本身可能就不再重要了。
这就有点黑色幽默了。数学家们担心的是失去理解，而AI公司的目标可能就是让理解变得不必要。
谁掌握方向盘，决定数学会不会变成“答案清单”
AI不会自动毁灭数学，也不会自动拯救数学。
公开信最后的落点很现实：最终方向取决于控制这项技术的人。
是继续把数学当成刷分战场，还是利用AI加速真正的理解？这个问题留给AI公司、数学界，也留给每一个靠脑力工作的人。
当机器能给出正确答案的时候，人类还要不要追问“为什么”？
【锐评】：数学的终点从来不是正确答案，而是答案背后那条通往理解的路。
参考链接：
https://mathandai.org/