陶哲轩10月7日没有在他的个人博客上发布新成果,而是全文转载了一份措辞严厉的、矛头直指OpenAI的"人类数学协会"(AHM)声明,公开呼吁数学家停止与OpenAI合作,回归以人类理解为核心的科学研究方式。导火索,正是前一天OpenAI一次性倒进GitHub的722篇AI生成数学手稿——平均每项成果约消耗3小时算力,覆盖准黎曼猜想等372个结果族。但把它读成"数学家怕AI变强"会错过主线:9月联署的25位菲尔兹奖得主并不是怕AI变强,而是反对OpenAI与Anthropic把数学做成基准测试和公关素材。从6月到10月的三轮争议,共同的指向其实是数据——谁的成果可以拿去训练、成果怎样才算发布、署名的功劳簿归谁、验证的成本由谁承担。麻省理工科技评论微博新智元
输入端:把共同体的开放成果变成训练数据,先要有同意
6月由15所大学16位数学家发布的《莱顿宣言》明确反对三件事:未经同意把论文当训练数据、绕过同行评审直接向媒体发布结果、不对结果所依赖的在先工作作出归属说明。这是学界立场最早的系统表述。机器之心
更具体的冲突发生在9月8日。当天,纽约大学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge公布三项证明,几小时后,OpenAI宣布其未公开的模型完成了Navier-Stokes存在性与光滑性这一千禧年难题的完整证明。机器之心
而当Buckmaster追问对方何时开始研究、有多少人类输入时,最终确认的事实是:第一条prompt发出的时间,就在他和团队的工作信息到达OpenAI之后。机器之心
训练数据口径的披露比时间线更关键:OpenAI称没有为解决该问题调取任何特定用户数据,但补充说,虽然可能性不大,无法排除源自产品使用的去标识化数据曾帮助改进模型。机器之心
事件之外的影响正在扩散到文化层面:据TechCrunch报道,已有数学家开始怀疑自己使用Codex的记录是否已经被喂给了模型,开放研究的文化可能被系统性地推向保密。机器之心
输出端:成果先成为"跑分数据",验证成本转嫁给人
"一次性发布700多份文件,展示的不是学术研究,而是权力。"这是AHM声明中最直接的一句表态。9月公开信的担忧与此同构:以越来越快的节奏批量生产"真/假"判断,会摧毁孕育新思想的土壤;这些解答在匆忙中被公布,来不及提炼新方法,也来不及引用在先工作。有报道称,这722篇手稿出自一个未公开的内部模型,此前它一口气挑战了约4000道数学题,最后整出372组成果、722篇论文。麻省理工科技评论机器之心全域双语出版咨询
论文上线了,但没人对它们负责:一部分数学家已经开始自费"烧Token"逐篇验证手稿到底对不对。10月7日,OpenAI撤回了其中三篇——官方记录显示,一篇因符号错误导致关键论证失效,另两篇依赖同一构造而一并撤回。批量生成、无人消化、随时撤回,数学界担心的正是这些结果进入文献的速度快于被纠错的速度。知乎知乎
署名端:定理属于公有领域,作者栏却被公司占了
美国版权局2023年3月以来的登记指南明确:版权只保护人类运用创造力生产的内容,纯AI生成材料不予登记。可这722篇手稿的作者栏,统一署着"OpenAI"的名字,AI公司的论文署名正在直接占用学术署名体系。一位上海执业知识产权律师则指出,定理、算法、公式、解题思路属于"思想",进入公有领域、任何人可自由使用,即便手稿里出现载入史册的定理也不归OpenAI所有;而手稿以Apache 2.0协议开源,是用合同许可绕开版权确权的产权安排,同时让每次引用都变成给模型背书。峰言锋语知乎
承接端:预印本和评审基础设施扛不住数据洪水
从10月1日起,arXiv实施史上最严限流:每个提交账号一个月最多投两篇,等待审核的稿子不超过三篇,被拒稿同样占名额。36氪
这条规定是被投稿量逼出来的:今年9月arXiv收到40363篇投稿创下单月纪录,cs.AI分类两年间增长到六倍以上,而把关的审核员只有约300名志愿研究者。36氪
基础设施已在补位:今年9月arXiv获得1720万美元捐赠,部分将用于开发管理AI生成内容的技术;今年5月它已针对AI幻觉论文祭出"一票封禁"——出现编造引用或残留模型指令的作者封禁一年。限流被官方定位为临时措施,但没人给出解除时间表。36氪
哪些争议有解,哪些难调和
陶哲轩本人是顶尖数学家中最积极使用AI研究的实践者之一。评价Navier-Stokes证明时,他用了向导带路的比方:找到一条通往瀑布的路径是有价值的,但一旦有人指出了这条具体路径,人们就只会走这条路。这几乎适用于全部四端争议的注脚:抵制针对的不是能力,而是规则——抗议的不是AI能解题,而是把几代人靠公开共享养成的研究体系,变成了单向的数据抽取。机器之心
但两封声明和一份联合公开信都没有强制力:AI公司没有义务放慢发布节奏,也没有义务接受共同体审查。机器之心
公开信在结尾写道:数学是第一个被逼到台前、必须把自己的价值观明确写下来的学科,它不会是最后一个。截至10月14日,未见OpenAI对抵制呼吁的公开直接回应;接下来值得盯住的信号有三个:AI公司是否在发布节奏、署名规范与训练数据口径上实质让步,其他学科会不会跟进类似的联名声明,以及arXiv式的配额会不会扩散到更多预印本平台和学术会议。机器之心