数学协会的抵制，为什么反成了OpenAI的舆论助攻

11月2日凌晨，B站一条视频把10月的旧声明重新推上热门，标题直指它反帮OpenAI扭转舆论。 到当天中午，播放量已过13万。哔哩哔哩

事情起于10月6日。OpenAI在GitHub一次公开722篇由内部模型生成的数学手稿，覆盖372组结果。 第二天，人类数学协会（AHM）发表声明，呼吁数学家停止与OpenAI合作。光明网微博

声明的措辞很重，直接把OpenAI的发布称为赤裸裸的权力炫耀。 陶哲轩在个人博客全文转载，但他不是起草人，也不在协会会员名单里。微博知乎

AHM是9月才成立的民间组织。 到10月25日，成员增至1008人，其中654人加入无AI研究组。微博投资界

它不是国际数学联盟，也不是国际工业与应用数学联合会。25位菲尔兹奖得主9月签过一份语气缓和得多的公开信。 AHM并不等于整个数学界。知乎

评论区的反弹很直接。一条高赞留言说，数学界的反对不是因为AI威胁到数学，而是因为AI威胁到数学家。 这句话刻薄，却点中了利益冲突。哔哩哔哩

更尴尬的是，陶哲轩并不是一个拒绝AI的人。他是Lean的重度使用者，比大多数人都早拥抱AI辅助。 他还和邓煜一起推动SAIR的开放数学平台。知乎微博

更致命的是对比。OpenAI随后撤回3篇、修订14篇。 它又宣布不为模型成果争署名，并向西蒙斯基金会的一项新倡议捐500万美元，资助数学家消化这些结果。光明网知乎微博

这并不等于AHM说错了。这批手稿里，58%的顶层结果没有做Lean形式化。 能逐行读懂的人，每个领域可能只有几百个，而且没人给这份核验工作发工资。知乎

清华教授薛金鑫的话更扎心：数学界长期靠信任外包运转，他看到的是数学界的傲慢。 所以这轮反噬不全是外行起哄，也来自学科内部积压的不满。知乎

真正的问题不是AI能不能做数学，而是谁为理解买单。OpenAI把生产成本压到几小时，理解成本却原地不动。 它把700多份草稿倒给学界，等于把最贵的工序外包出去。知乎微博

AHM敦促数学家全面终止合作，等于让数学家退出唯一能制定规则的房间。 更可行的要求是“负责任发布”：补齐引用、披露失败、提供形式化材料、资助独立验证。 这些都比一句抵制更难，也更有用。微博知乎

这轮反转主要发生在中文互联网，不能当成学术界的裁决。它更像一堂传播课：AHM输掉了措辞，但它指出的账单一分没少。下一轮争论，谁能把“谁来验证、谁来付钱”说清楚，谁才真正占理。