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

导火索是OpenAI此前公开的719篇数学手稿，涉及约4000个未解问题、372个问题族，约42%附带Lean形式化验证。四位学者随后建立GitHub仓库oai-math-revised，邀请同行补齐文献引用并重写推导；截至10月25日，13条修订记录中有8条标注由Claude Code协助起草，陶哲轩本人也提交了针对Landau-Siegel零点问题的修改。

同一周，博科尼大学的Simon Becker与得克萨斯农工大学的杨梦轩在arXiv发表论文，否定Barry Simon于2000年提出的多维L2猜想。两人称与ChatGPT分三步完成构造：设计同心球壳势函数抹除绝对连续谱，模型微调参数引入Combes-Hislop谱平均准则证出纯点谱，最终将参数推至极限、把结论推广到整个正半轴。