25位菲尔兹奖得主联名警告:OpenAI退出赞助,AI与数学界矛盾彻底爆发

49次阅读

共计 1229 个字符，预计需要花费 4 分钟才能阅读完成。

进展时间线

过去一周,数学界与 AI 公司之间长期积累的紧张关系被彻底点燃。从一位数学家的公开指控, 到 25 位菲尔兹奖得主联名发声, 再到 OpenAI 撤回赞助, 事件在短短几天内迅速升级。

事情始于劳动节周末。纽约大学数学家 Tristan Buckmaster 与合作者 Levent Alpöge 在纳维 - 斯托克斯方程上取得进展——这是克雷数学研究所 2000 年提出的七个“千禧年大奖难题”之一, 悬赏 100 万美元。

更令他愤怒的是 OpenAI 开出的条件: 可以率先发表成果、成为论文第一作者、获得充足计算资源,甚至分享 100 万美元奖金——前提是 不要把 Levent Alpöge 列在论文上, 因为 Alpöge 在 Anthropic 工作。

Buckmaster 拒绝了。他称 OpenAI 项目负责人 Sébastien Bubeck 随后问他:“你为什么要毁掉自己的职业生涯?”Bubeck 对《纽约时报》否认威胁, 称提议是为了帮助他。OpenAI 也声明 Buckmaster 的 Codex 提示“不可能以任何方式影响系统”。

Buckmaster 的遭遇并非孤例。加州理工学院数学家发表公开信, 称 AI 公司宣称“解决”复杂难题后, 需要人类数学家验证、修正甚至彻底驳斥, 但这些工作“没有得到报酬、没有署名, 也没有得到承认”。他们称之为“粗糙的数学”。

25 位菲尔兹奖得主的联名信更加直白: 这些解决方案往往仓促发布,没有时间充分撰写、梳理新方法、引用相关文献, 引发严重的归属和抄袭问题。信中还警告, 如果没有数学家负责发展和整合这些方案,AI 提出的想法永远无法真正落地, 数学家之间的传承链条也将断裂。

过去, 数学家公开发表想法、彼此合作,一个难题可能需要十年、二十年才能解决, 但知识在过程中不断积累。现在, 如果前沿实验室发现一条有助于新发现的途径, 他们可以花费数千万美元, 利用大语言模型抢在原研究人员之前完成证明。

今年 6 月,数学家工作组发布《莱顿宣言》, 探讨大语言模型将如何改变他们的工作。宣言的核心关切是: 数学的价值不仅在于证明和谁获得荣誉, 还在于滋养学生、发现新问题和新想法, 并将它们融入更广泛的人类文明知识体系。