数学家 _onionesque 谈 AI 冲击：多数同行兴奋，受冲击最大的是研究生与博后

数学家 _onionesque 表示，他认识的几十位数学家大多对 AI 感到兴奋，被引用的抗拒案例只是例外。他认为真正受冲击的是研究生和博士后——成果若被自己无法理解的 AI 证明抢先，确实难以释怀。讨论的核心是，AI 介入定理证明后，学术圈的激励与资助结构需要随之调整。