AI 自动证明定理冲击数学界：传统学术激励机制与人类理解面临重构

AI 密集攻破多年未解的数学猜想，正在打破纯数学界以定理证明为核心的学术评价与人才培养体系。由于模型输出的证明往往冗长晦涩且缺乏概念连接，学术界担忧研究沦为无法理解的黑盒运算，同时 arXiv 涌入大量 AI 辅助论文也加剧了同行评审负担。多位学者呼吁重构评价机制，将重心从单纯解题转向概念阐释、理论构建以及人机协作下的知识传播。