数学家讨厌AI，却离不开它

📋总体概括

数学界正陷入对AI的矛盾关系：强大的AI模型被视为对数学研究的存在性威胁，动摇了证明、原创性与职业价值的根基，但研究者们又因其实用性而无法停止使用。这篇文章揭示了数学家对AI既抗拒又依赖的真实处境，反映出整个基础学科在AI浪潮下的普遍焦虑与工具化现实。