面对 AI 破解数学难题，数学界为何陷入“悲伤”与理念分歧

随着大语言模型在数学难题解决和形式化验证上的突破，数学界正经历否认、愤怒、讨价还价与沮丧等类似悲伤五阶段的情绪分歧。菲尔兹奖得主 Peter Scholze 等学者坚持抵制或警惕 AI，数学与 AI 咨询委员会亦呼吁 OpenAI 停止闭门测试并公开内部模型产出的关键数学成果。