AI 会终结传统数学研究吗？AI 定理证明浪潮下的数学界危机与重塑

面对 AI 模型接连自动化攻克数学猜想与知名难题，数学界正面临激励机制失效、机器证明晦涩难懂以及学术生态受损的深层冲击。OpenAI 和 Anthropic 等公司直接参与定理证明并保留部分成果，导致 arXiv 涌现大量难以验证的论文，学术交流社区活跃度随之下降。学者们正推动重塑评价标准，试图将数学研究的重心从单纯的定理求解，转向概念解释、深层理解与认知框架的构建。