千名数学家组建「人类数学协会」拒用AI，ChatGPT却解出悬置26年猜想

近日，全球数千名顶尖数学家因对商业AI在学术界滥用表示强烈不满，联合成立「人类数学协会」（AHM）。该组织截至10月25日已有超过1008名实名成员，全员承诺不为任何自动化数学商业实体提供劳动、咨询或宣传，且绝不在署名著作中包含AI生成的文本。其中，654名学者进一步加入协会内部的「无AI核心组」，誓言在日常科研全流程中完全不使用AI辅助寻找证明思路、挑选反例或提出新课题。包括菲尔兹奖得主陶哲轩在内的多位知名学者公开表态支持此举，甚至亲自在仓库提交记录中利用Claude Code等工具协助修正论文，同时明确署名归属。推动这一集体反抗的直接导火索是OpenAI近期高调宣称攻克「Navier-Stokes方程」等千禧年难题引发的争议。批评者指出，商业巨头试图以算力霸权取代严谨研究，将数学家降格为验证机器输出的技工，因此学界纷纷筑起高墙以维护学术尊严与数据主权。讽刺的是，就在数千名学者誓与AI割席之际，ChatGPT反而在10月22日帮助两位人类作者（Simon Becker与杨梦轩）解开了悬置26年的「多维L2猜想」。论文作者在arXiv上详细披露了利用ChatGPT分三步突破几何障碍、优化反例构造并推广至整个正半轴的全过程，令学术界陷入对AI能力边界与伦理角色的重新审视。针对这一复杂局面，AHM在首份声明中直指商业巨头的不透明黑箱操作破坏了学术生态，呼吁期刊审稿环节若动用AI必须经过作者同意。尽管技术圈有声音认为数学家拒绝AI如同棋手拒绝引擎复盘般荒谬，但上千名学者的行动已使数学界出现深刻裂痕。面对OpenAI此前测试约4000个未解问题并发布719篇文稿（其中约42%附带Lean形式化验证）的操作，学者Abhinav Nellore与Johannes Schmitt等建立了开源仓库oai-math-revised进行补救。陶哲轩早在仓库公开前便悄然提交修改请求，后续修订记录中8条均由Claude Code协助起草，展现了人机协作在学术修正中的特殊形态。这场风暴不仅关乎工具使用规范，更触及训练数据归属与学术成果认知的根本问题。如果学者的无偿修稿会被吸收入下一代模型训练集，那么知识生产的底层逻辑将面临重构。