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

_onionesque 在与网友讨论 AI 对数学界的影响时称，他认识的几十位数学家大多对 AI 感到兴奋，抗拒案例只是例外，真正受冲击的是可能被「看不懂的 AI 证明」抢先的研究生和博士后。他认为布尔巴基式「理论与理解」层面的工作未来也会很有意思，AI 不只是验证证明，还可能参与结构化的数学理解。