Reddit 热议：Kaczynski 上世纪 90 年代预言数学将最先被 AI 攻陷

aKaizuh · reddit · 2026-10-19

Reddit 用户贴出一封 Ted Kaczynski 在 90 年代回复学生的信件照片，信中他断言：随着机器智能超越人类，数学家会比其他领域从业者更早被淘汰，因为数学比任何其他领域都更容易被计算机化。发帖人认为这一预测正在应验，并发起讨论。评论区分歧明显：有人认为 AI 近期在 IMO 级别数学问题上的表现确实印证了这一判断，也有人指出数学是形式化程度最高的领域，AI 先攻克它恰恰说明它最"可计算"，而非最先"失守"的学科。