数学界正经历一场前所未有的震荡。统治人类逻辑高地数千年的数学家们，第一次切身感受到了一种前所未有的寒意。近期，全球顶尖高校的数学系掀起了一场声势浩大的集体行动。截至目前，已有整整1008名数学家重磅联名，成立了新组织——“人类数学协会”。名单之长令人咋舌。他们立下严正承诺：绝不协助商业AI，也不发表任何由AI生成的数学论文。其中，654名顶尖学者加入了内部的“无AI核心组”，誓言在科研全流程中完全摒弃AI工具。就连菲尔兹奖得主陶哲轩也亲自下场转发声明。
这一切的导火索，正是OpenAI近期高调宣称攻克千禧年难题的举动。当时OpenAI一夜之间发布了700多篇论文，引发学界震动。面对这批半成品，四位学者搭建了GitHub开源仓库，而陶哲轩则亲自使用Claude Code协助修改其中一篇关于“Landau-Siegel零点一致排除问题”的文稿，并署名“OpenAI（含社区贡献）”。这一行为引发了巨大争议：人类数学家是否应该为商业巨头的AI产品免费做“补丁工”？
正是因为不愿沦为替商业巨头善后的免费劳力，上千名数学家选择了直接筑起高墙。协会在声明中直指商业巨头企图用算力霸权取代人类理解，把数学家变成替机器输出盖章的“验证技工”。然而，要在今天彻底戒断AI谈何容易。就在协会成立的同时，博科尼大学的Simon Becker与得克萨斯农工大学的杨梦轩，利用ChatGPT成功推翻了Barry Simon悬置26年的“多维L2猜想”。
这场风波标志着数学界从“证明稀缺时代”向“证明过剩时代”的彻底转型。在过去的稀缺时代，率先拿到答案意味着贡献了深刻理解；而在证明过剩的时代，算力把“算出结果”与“理解结果”分离开来。机器靠堆叠算力就能率先算出结果，而提炼思想却要耗费学者漫长的苦工。这倒逼学术评价与人才培养做出改变，从奖励“谁先算出结果”，转向看重“谁能提出好问题、建立新框架”。