数学界最近有个说法挺有意思——AI正在把数学难题当矿挖，而且是不可再生的那种。最先说这话的不是什么科技博主，是陶哲轩，就是那个被认为还活着的数学家里最接近天才的一位。
他琢磨的是这么件事：以前大家觉得，AI能帮忙解决的数学问题，都是些边角料。但最近他发现，AI其实已经开始碰那些真正的开放问题了，就是悬在那儿几十年、没人解出来的那种。他管这叫"非再生性开采"——矿挖一吨少一吨，问题解一个少一个。
这话听着有点绕，其实意思很直白：数学里那些最值钱的问题，本来就像地底下的矿脉，埋在那等有缘人。以前挖矿靠的是数学家一代代传下来的直觉和运气，现在AI来了，它不在乎矿脉有多深，只要给它足够多的"矿工"——算力，它就能硬挖。问题是，矿脉总有挖完的一天，而那些真正需要灵光一现的难题，AI未必挖得动。
陶哲轩自己就在跟AI合作解决问题。他不觉得这是坏事，但他说了句挺扎心的话：数学家以后可能得习惯，有些问题是AI先看到答案，然后人类再去理解为什么。就像矿工突然发现，自己挖了半辈子的矿，现在得跟着机器走。
这事最让人感慨的地方在于，数学一直被认为是人类智力的最后堡垒，现在连这个堡垒的墙根都开始松动了。不过陶哲轩倒是挺坦然，他说反正问题就在那，谁解开都一样，重要的是解开之后我们能往前走一步。