数学家讨厌AI，却无法戒掉

# 数学家恨AI，却无法自拔 来源：https://www.wired.com/story/mathematicians-cant-quit-ai/ 数学家特里斯坦·巴克马斯特认为，OpenAI（https://www.wired.com/tag/openai/）使用了他的成果，抢先解决了一个悬赏百万美元的传奇数学问题（https://www.wired.com/story/openai-navier-stokes-math-discovery-academics/）。 但这还不足以让他停止使用这家公司的模型——而他并非唯一持此态度的数学家。 "即使你完全不认同这些做法，你也某种程度上被套牢了。既然AI如此有用，很难完全禁止自己不去使用它，"巴克马斯特对《连线》表示。"这些公司形成了垄断，我们别无选择，"他补充道。 在这位纽约大学教授公开指控OpenAI抄袭其方法的一周半时间里，巴克马斯特一直在使用该公司的编程助手Codex整理研究论文。当他有时间研究数学时（他表示这很罕见，因为事件的后续发展使他成为焦点），该工具帮助他理解OpenAI的代理可能从他前期的工作推导到最终证明的逻辑步骤。 巴克马斯特曾与Anthropic（https://www.wired.com/tag/anthropic/）研究员莱文特·阿尔珀格合作，使用Codex及其竞争对手Claude攻克纳维-托克斯存在性与光滑性问题。OpenAI部署了数万个代理才得到解决方案，但巴克马斯特表示，这是在得知该方程即将被破解之后才进行的。 当巴克马斯特公开其指控时，引发了一场关于人工智能是否会（https://www.wired.com/story/mathematician-steven-strogatz-grapples-with-ai-recent-breakthroughs/）使人类数学家过时的风暴。这也促使OpenAI展开调查并修改了（https://openai.com/index/navier-stokes-solution/）关于解决纳维-托克斯问题的公告，声明"确认巴克马斯特在2026年9月8日此前两个月内的Codex提示词不可能以任何方式（包括通过训练）影响系统"。该公司通过邮件向《连线》指出了其公告。 巴克马斯特表示，证明AI正在推动数学前沿发展"比结果本身更重要"。但在重大IPO前夕，仅凭AI产出解决方案而不充分承认支撑这些方案的人类工作——是不负责任且"幼稚"的。 其他数学家也提出了类似担忧。全世界只有极少数人理解德国数学家安德烈亚斯·托姆过去二十年致力于发展的几何群论技术。因此，当OpenAI在8月（https://openai.com/index/ten-advances-in-mathematics/）表示其Astra模型使用这些技术证明了他长期研究的一个问题时，"我非常震惊，"托姆说。"当然我也在想，他们是怎么知道的？" 据他所说，他曾询问OpenAI研究员马克·塞尔克和塞巴斯蒂安·布贝克。在8月的一封邮件中，他指出该公司声称"过去十年该问题未取得进展"的说法忽略了他2019年的一篇论文以及其他数学家的工作。该公司修改了新闻稿。托姆和一位同事曾在结果公布前的几个月里使用ChatGPT协助研究该问题，但当他询问其交互内容是否被用于训练数据时，托姆说塞尔克回复："没有发生这种情况。" "我把它放在一边，"托姆回忆道。"我对这些政治性问题不太感兴趣；我想研究数学。" 虽然托姆看到了OpenAI关于巴克马斯特的提示词不可能影响系统的声明，但他表示不信任这一说法，并承认自己可能永远无法知道其工作是否确实促成了结果。 "AI真正打破了追溯谁做出了什么贡献的整个理念，"他说。"这可能已经结束了。" 这与科学通常的运作方式大相径庭——学术界让研究成果经受同行评审，并在相互承认的基础上推进工作。除了颠覆归属问题，人类尚未完全理解OpenAI代理获得纳维-托克斯结果的每一步，这也对数学家提出了存在性质疑——他们感到自己的领域正脱离掌控。 "如今，当这些价值万亿美元的公司参与其中时，作为普通人类，我该如何为数学做出贡献？"康奈尔大学数学家亚历克斯·汤森表示。他是一本关于该领域发展的即将出版著作的合著者。 自8月起，汤森看到许多同事开始询问需要了解哪些技术知识，以及如何订购更强大的模型。 "我同时感到兴奋和紧张，"汤森说。"兴奋是因为我能实现没有它就无法达成的目标，紧张是因为我在质疑：'好吧，我在这里的定位是什么？'" 托姆接受了他的研究领域正在改变的事实，并继续使用ChatGPT——更新了隐私设置以防止其工作被用于训练数据——来加速论文写作，因为这"极其高效"。（OpenAI通过大学和企业级提供的服务默认不在用户数据上训练模型。） "如果有人类主动这样做，我会非常非常愤怒，"他这样评价未署名使用其工作的行为。"但如果信息是通过后门、由无人完全理解的算法提取进模型的，我或许可以接受。" 一些数学家则不那么宽容。25位菲尔兹奖得主在一封（https://mathandai.org/）公开信中写道，AI公司与数学家"严重错位"。已有超过4000人签署了《莱顿宣言》，其中包含一系列关于数学家、资助者和政治家如何确保AI不会吞噬该领域的建议。 巴克马斯特担心这样一种可能性：使用AI"润色一些语法，突然间你多年的工作\[可能\]被用户数据吞噬并卖给其他数学家或研究生。我认为大多数数学家担忧的就是这个，而且我认为这是个真实存在的问题。" 由于缺乏监督且AI在该领域进一步根深蒂固，一些数学家想找到至少暂缓发展的方法。这包括2000多名与加州理工学院有关联的人士呼吁该校一场AI数学黑客马拉松的组织者暂停活动。该活动由Anthropic和OpenAI赞助，后者现已退出。但任何放缓的努力可能都是徒劳，尤其是长期来看。 "我不认为这是真正可持续的，因为AI提供了效率提升，"托姆说。他补充道，任何数学家——尤其是职业生涯早期的研究人员——如果不使用AI加速工作，都可能面临"被孤立"的风险。他和巴克马斯特都认为，学术界需要开始思考这项技术对年轻数学家的意义，以及如何平稳过渡。 下一代数学家已经在寻求指导：学生们也在询问，如今AI在解决数学问题方面如此强大，他们的未来会是什么样子，汤森表示。 巴克马斯特呼吁在数学家和AI实验室制定一些关于发布成果（包括正确标注引用）的基本规则时，暂时休战。他本人将清理上周为赶在OpenAI公告前发布的未完成论文，其中一篇被他形容为"AI劣质内容"。 "我有责任清理已发布的未完成论文，并且我认为我有责任向数学家们解释我们的工作，"他说。 他也愿意与OpenAI讨论此事。"我不想只是参与争斗，"他说。至于是否真的会与该公司合作解决问题，"我们必须谨慎对待，"他带着苦笑说道。