Ted Kaczynski 2000 年就看透了数学家的困境

怎么说呢？他当时就给了一个很现实的比方：以后 AI 干数学干得比人快、比准、比便宜，那些靠人脑 crunch 公式的岗位，怎么着也得被优化掉。没准还得像写代码那样，转行去做 AI 培训数据清洗，或者学会跟 LLM 对话 prompt 了事。

真的是又讽又准。20 年前他就料到了如今大模型风口，估计当年要是信了他的建议，少掉进了无数个数学系的坑。