陶哲轩叫停AI数学研究和砸珍妮纺织机的人，区别在哪里？

陶哲轩最近"反水"了，很多人说他像两百年前砸机器的卢德分子。但他说自己反对的从来不是 AI 做数学——他恰恰是最早、最积极拥抱 AI 的数学家之一。他真正反对的是：把攻克著名难题变成模型的跑分场，一口气倾倒几百份没人来得及读、来不及验证、也来不及理解的证明。卢德分子砸机器，是因为机器抢走了他们的手艺；陶哲轩掀桌子，是因为答案来得比理解更快，数学正在"消化不良"。当解题取代了思考，人类丢掉的不是饭碗，是把答案变成知识的能力。