有篇东西标题翻过来大概叫《AI在数学上的严重错位》。
讲的事情其实不复杂：这几个月大模型做数学猛地窜了一截，能解不少领域里悬着的老大难问题。但写这篇的人——看口吻就是圈里的数学工作者——说这不是好事。AI公司拿解数学题当跑分，跟他们这帮人想干的事，压根不是一回事。
他讲得挺细的。数学研究图的是什么？是搞懂形状、数字、自然现象底下那些基本结构。一代一代人攒下来一大堆概念、方法、抽象工具，就为了把这套地形摸清楚。那些名题是什么？是灯塔，是地标，你解出来一个，等于证明你对这片地形的理解又深了一层，还顺手带出了新方法。
关键在后半截。一个题解出来不算完。得有一堆人开讨论会、私下聊、一遍遍把证明磨简化，磨到最后能写进教科书，让研究生甚至本科生都看得懂。再过几十年上百年，有些想法才会变成普通人也在用的工具。这整个过程，慢，而且全靠人跟人磨。
现在AI把题解了，公告发得飞快，写都来不及写。原文说，以越来越快的速度成批生产“真/假”命题，可能不是浇活新想法，是把肥土给毁了。
他还说了句我琢磨了挺久的——解题只是工具，是替身，真正要的是理解和洞见。把工具当成目的，工具就反过来咬人。
这话搁别的行当也成立吧。