尽管对人工智能存在诸多质疑,数学家们仍难以完全放弃使用这些工具。纽约大学教授Buckmaster向WIRED表示:“即使你不认同这些技术,你也很难完全避免使用它们。AI的实用性让人无法抗拒,而这些公司几乎形成了垄断,选择余地很小。”
自从他指责OpenAI抄袭他的研究方法以来,Buckmaster一直在使用OpenAI的编程助手Codex来整理他的研究论文。尽管他表示自己很少有时间专注于数学研究,但Codex帮助他理解OpenAI的智能体如何从他的早期工作推导出最终证明。
Buckmaster与Anthropic研究员Levent Alpöge合作,利用Codex和Anthropic的Claude模型研究著名的Navier-Stokes存在性和平滑性问题。OpenAI动用了数万个智能体来解决该问题,但据Buckmaster称,这一过程是在得知该方程接近解决时才展开的。
当Buckmaster公开指控后,引发了关于人工智能是否会让人类数学家失业的激烈讨论。OpenAI随后展开调查,并修改了其关于Navier-Stokes问题解决的声明,确认“在2026年9月8日宣布及发表论文前两个月内,Buckmaster的Codex提示无法以任何方式影响系统,包括训练过程。”公司通过邮件向WIRED提供了相关声明。
Buckmaster认为,展示AI推动数学边界比结果本身更重要,但他批评在未充分认可人类贡献的情况下,尤其是在大型首次公开募股(IPO)前夕,AI自动生成数学问题的解决方案是不负责任且幼稚的行为。
其他数学家也表达了类似担忧。德国数学家Andreas Thom专注于几何群论领域已有二十年,只有极少数人理解他的研究技术。OpenAI在8月声称其Astra模型利用这些技术证明了他长期研究的问题,Thom感到震惊并质疑其学习途径。
他曾向OpenAI研究员Mark Sellke和Sébastien Bubeck提出质疑,指出公司忽视了他2019年的论文及其他数学家的相关工作,OpenAI随后修改了新闻稿。Thom和同事在结果公布前几个月使用ChatGPT辅助研究,但当他询问这些交互是否被用于训练数据时,Sellke回复:“没有发生。”
Thom表示,他对这些政治问题兴趣不大,更专注于数学本身。尽管OpenAI声明Buckmaster的提示未影响系统,他仍不完全信任这一说法,承认可能永远无法确定自己的工作是否被用于训练。
“AI彻底打破了追溯贡献者的可能性,这种时代可能已经结束。”他感叹道。
这与传统科学研究方式形成鲜明对比,后者强调同行评审和对前人工作的认可。更令人担忧的是,人类尚未完全理解OpenAI智能体解决Navier-Stokes问题的每一步,这对数学家们来说是一个存在性的挑战,他们感到自己的领域正在逐渐失控。
康奈尔大学数学家Alex Townsend即将出版一本关于数学领域演变的书,他表示:“如果我想为数学做贡献,作为一个普通人,在这些拥有数万亿美元资源的公司面前,我该如何是好?”
自8月以来,Townsend注意到许多同事开始关注AI技术,探讨如何订阅更强大的模型。

“我既兴奋又紧张,”Townsend说,“兴奋的是我能实现以前无法完成的事情,紧张的是我开始质疑自己的存在价值。”
Thom接受了自己研究领域的变化,继续使用ChatGPT加速论文写作,同时调整隐私设置以防止自己的工作被用于训练数据。(OpenAI为高校和企业用户默认不使用用户数据训练模型。)
他表示,如果有人未经授权使用他的工作,他会非常愤怒,但如果信息是通过某种算法“后门”被模型吸收,而没人完全理解这个过程,他还能接受。
一些数学家则更为严厉。25位菲尔兹奖得主在公开信中指出,AI公司与数学家之间存在严重的不协调。超过4000人签署了莱顿宣言,提出了确保AI不会吞噬数学领域的多项建议,涵盖数学家、资助者和政策制定者。
Buckmaster担心,使用AI“清理语法时,数年积累的工作可能被用户数据吞噬,进而被卖给其他数学家或研究生。这是大多数数学家担忧的现实问题。”
在缺乏监管的情况下,AI正日益深入数学领域,一些数学家希望至少能按下“刹车”。加州理工学院2000多名相关人士呼吁暂停该校举办的AI数学黑客马拉松,该活动由Anthropic和OpenAI赞助,后者已退出。但从长远看,任何放缓尝试可能都难以奏效。
Thom认为:“鉴于AI带来的效率提升,这种抵制难以持续。”他补充道,尤其是年轻数学家如果不利用AI加速研究,可能会被孤立。他和Buckmaster都认为,数学界需要开始思考这项技术对年轻一代的影响,并帮助他们顺利过渡。
新一代数学家已经在寻求指导。Townsend表示,学生们纷纷询问,在AI日益强大、能够解决数学问题的今天,他们的未来将会如何。
Buckmaster呼吁数学界与AI实验室达成某种停火协议,制定发布结果的规则,包括正确引用参考文献。他本人计划修订上周为抢先OpenAI发布而提前发表的论文,他称之为“AI的草稿”。
“我有责任整理那些未完成的论文,也有责任向数学家们解释我们的工作。”他说。
他也愿意与OpenAI展开对话。“我不想只是在争吵,”他说。至于是否会与OpenAI合作解决问题,他笑着表示:“我们必须谨慎。”


