观点认为AI提升证明和计算效率后，反而会放大高水平数学家的需求。
推荐理由：核心不是“AI替代数学家”，而是证明与计算成本下降后，问题探索总量上升；稀缺环节转向选题、抽象和判断，类似AI棋力推动棋界训练范式升级。
阅读原文