数学家如何看待AI数学浪潮：从悲伤五阶段到定理清单

作者认为数学界正经历前所未有的AI转型，用悲伤五阶段梳理同行的分化反应，涵盖拒绝使用AI的 Association for Human Mathematics、Peter Scholze 的公开抵制、资深数学家委员会建议 OpenAI 停止在专有模型上测试高等数学问题，以及因 ChatGPT 秒杀引理而动摇的研究者。