问题描述
菲尔兹奖得主、数学界领军人物陶哲轩牵头人类数学协会（AHM）发表重磅联合声明，号召全球数学界集体行动、全面抵制OpenAI。
声明直言，一次性发布700多个文件“根本不算科研，纯粹是在炫耀算力霸权”，并强烈敦促所有数学家停止与OpenAI合作，重回以人类理解为核心的科学愿景。
引发抵制的直接背景，是OpenAI近期批量公开AI数学解答。10月6日其最初在GitHub发布722份AI生成数学手稿，10月7日因一处符号错误及其连锁影响撤回3份，现公开目录为719份，涵盖372个数学结果族。
OpenAI表示，发布前曾咨询普林斯顿高等研究院主持的“数学与人工智能顾问小组”（AGMAI），但从公开信息看，此次发布未完全达到该小组提出的标准。
AGMAI此前建议前沿AI实验室停止在专有、外界无法访问的模型上测试高难度数学问题，并要求披露模型名称、提示词、推理链、耗时及计算成本等信息。但OpenAI此次仍使用专有模型，仅10份手稿公开思维链。
这并非数学界首次表达类似立场。此前陶哲轩曾联合25位菲尔兹奖得主发表联合呼吁，直言“简直是疯了，AI公司无休止地加速，却对那之后会发生什么一无所知”，希望商业公司放慢脚步。
陶哲轩主张“必须慢下来”，并强调“完全没理由这么快，一点理由都没有”。这一系列表态使数学家群体与模型公司之间的立场分歧进一步公开化。
其实就是酸了。
当年拉马努金说公式是娜玛吉丽女神在梦里给他的，结果被数学界捧成超天才，哈代和后来的学者花了几十年才把他那三千多条公式整理完。结果现在一个模型一晚上能给你拿出几百个大结果，号称「几乎只用了一个 prompt」而且自带证明过程。
拉马努金那时候穷得叮当响，连干净饭都吃不起，生活几乎全靠别人接济，指望着学术圈能接纳自己，整天求着哈代帮忙。结果现在 OpenAI 估值万亿，根本不鸟你数学界，你爱承认承认不爱承认拉倒，爷一点都不怕得罪你。
而且拉马努金再怎么样也是个凡人，一辈子体弱多病，32 岁就因为肺结核死了，留下的遗产催生了一堆新研究领域，养活了几代数学家。但现在 OpenAI 自己一家公司就能把问题全解决了，根本用不着你人类数学家来帮忙，你连吃剩饭的资格都没有。
题中这篇文章给我的感觉就是，一帮数学家像是被踩到尾巴了一样，哭诉自己得不到尊重。但现在 AI 来了，这帮人还配不配得到同等尊重都难说。
最爆笑的无非是这句：Mathematicians did not ask for this work to be done，我看有望入典。
这篇文章从头到尾都透露着一种学术共同体的傲慢，一种对 AI 不请自来的愤怒，并因为自己对此无能为力而更加愤怒。
从头到尾都在强调「我们很重要」，似乎是一种自尊心的回响。问题是这些天才数学家们估计也没少踩头别人，没事儿还会玩玩「注意到」之类的梗，这下 AI 比你注意力更集中了，你还有啥想说的吗？你不会是「只允许自己装但不允许别人装」吧？
赢家往往是最输不起的。
还有人站在学术共同体的角度说话，说什么 AI 搞海量证明没法被验证，不利于数学可持续发展云云。
可你凭什么觉得学术检验应该被学术共同体垄断？既然 AI 能写证明，那就能看证明。多搞几个 AI 交叉验证就行了。
你说 AI 出错了怎么办？那要是人类出错了怎么办？既然 AI 算力远胜人类，你凭什么觉得 AI 需要考虑人类的意见？陶哲轩写证明需要考虑 Thoughts Memo 的意见吗？
等人类提出的数学问题被解的差不多了，AI 就开始自己提问题自己解了，主打一个自娱自乐。
你说这对人类来说有什么意义？那现在前沿的数学研究对大多数人类来说有意义吗？知名数学家盖尔范德曾经说过「没有应用数学，只有数学的应用」这种装 b 的大话。反正这帮数学家也是吃着财政的钱自娱自乐，对大多数人来说，AI 搞数学还真不是个坏事。
说了这么多，最后我也要讲两句公道话：大家其实没必要太埋汰这些数学家。
当年国际象棋被 AI 速通的时候，估计这帮数学家私下里也没少笑话那些象棋大师。结果现在自己成了小丑了。
所以别总觉得没事儿，只有 AI 打到你身上了你才知道疼。
现在人类的很多领域，不说是彻底完蛋，至少也算是摇摇欲坠了。在座的各位恐怕也会步这些数学家的后尘。
至于以后咋办，我觉得这个老哥说的挺对的：
这老哥适合去教育部工作。
cantcatchme@thoughtsmemo