之前刷到有人说AI都能解奥数、推定理了，数学家早晚要失业，结果越了解越发现根本反过来。
现在AI确实能把数学家几周的机械演算压缩到几分钟出结果，批量找反例、验算推导都不在话下，把人从重复劳动里全解放出来了。但它所有能力的根基全是人类提前定义好的数学框架，只会解条件目标全写死的既定问题，根本没能力判断什么方向值得攻坚、什么猜想有长远价值。
现在AI甚至开始成批消耗攒了几十年的数学猜想，把保持五六十年的纪录都往前推，但越往前沿走越发现，AI升级的天花板，最后全卡在人类能提出的新数学概念、新理论框架上。现在行业对数学人才的需求哪里是降了，明明是比以前任何时候都要迫切。