千名数学家联名抵制AI，ChatGPT却刚攻克26年猜想

全球已有1008名数学家联名加入新成立的“人类数学协会”（AHM），签署两项核心承诺：不为任何自动化数学商业实体提供劳动、咨询或宣传；不在署名著作中包含AI生成文本。其中654人加入“无AI核心组”，承诺在寻找证明、探索算例、提出问题等全流程科研中完全不用AI。菲尔兹奖得主陶哲轩转发了相关声明。

导火索是OpenAI月初发布700余篇数学手稿。OpenAI测试约4000个未解问题，每个消耗3小时ChatGPT Pro算力，共放出719篇文稿，归入372个问题族，约42%附带Lean形式化验证，但自然语言证明晦涩破碎且遗漏大量文献。四位学者搭建oai-math-revised开源仓库，邀请同行补齐引用并重写推导。陶哲轩用Claude Code起草修改，截至10月25日仓库13条修订记录中8条标注由Claude Code协助。其博客评论区就此激烈争论：有学者认为商业公司应自费整理文稿，也有人担忧无偿修订成果被吸入下一代模型训练集；陶哲轩称仓库旨在建立社区掌控的公共据点。

另一风波是OpenAI高调宣传攻克Navier-Stokes方程。有数学家将未发表手稿输入ChatGPT润色，OpenAI调动约10000个Agent并发运转88小时生成庞大证明，被学界批评为“算力霸权”而非严谨学术。协会期刊工作组要求审稿使用AI须经作者同意。

与此同时，10月22日Simon Becker与杨梦轩在arXiv发文否定Barry Simon于2000年提出的“多维L2猜想”。该猜想悬置26年，关乎高维空间中粒子是否保留绝对连续谱。两人与ChatGPT分三步完成：设计同心球壳势函数，在有界能量区间抹掉绝对连续谱；ChatGPT微调参数引入Combes-Hislop谱平均准则，证出更强纯点谱；再将参数推至极限，把纯点谱推广到整个正半轴。作者随后重推全部35页手稿并为证明兜底。

文章认为，数学界正从“证明稀缺时代”进入“证明过剩时代”，算力可率先产出结果，而提炼思想仍需学者苦工，学术评价或需从奖励“谁先算出结果”转向看重“谁能提出好问题、建立新框架”。