数学圈 AI 论证量：数学家不满 AI 是因为被迫改变人生规划

avt_im · x · 2026-10-18

一场关于「数学家为何反感 AI 证明」的 X 讨论串。avtim 认为，一旦知道什么是对的，「为什么」就容易理解多了，AI 反而有助于深度理解——人们反对 AI 有别的原因：「人们不喜欢 AI 是因为它迫使他们改变个人计划」。他以自己为例：若非 AI 出现，他现在应该是教授，因为留在原有的智识轨道已无意义；但他拒绝当 hater，愿意重建技能与职业从头再来。回复中 AlexShtf 补充：还有一批数学家不仅想知道什么为真，更想知道深层「为什么」，这才是他们反感的根源，当然也有想保住权力的人（Levent Alpöge 的例子表明不少数学家更看重数学的名利外衣——名刊、名校、稀缺技能的光环）。avtim 还引用 Jacob Tsimerman 类似观点，称判断抽象是否有洞见要看能否证明具体结果，并预测很快 AI 证明将不再混乱粗糙。