OpenAI Is Pissing Off a Bunch of Mathematicians—Again

TL;DR · AI 摘要
OpenAI计划发布超100个数学问题解决方案,但数学家担忧其发布方式可能忽视学术规范,引发争议。
核心要点
- OpenAI拟在GitHub发布100+数学问题解决方案,引发数学界不满
- 数学家要求通过论文而非博客发布AI研究成果以确保学术严谨性
- OpenAI新模型已解决Navier-Stokes问题但未明确发布时间表
结构提纲
按章节快速跳转。
思维导图
用一张图看清主题之间的关系。
查看大纲文本(无障碍 / 无 JS 友好)
- OpenAI与数学家的争议
- 发布方式争议
- 博客 vs 学术论文
- GitHub集中发布
- 技术能力展示
- Navier-Stokes问题解决
- 100+数学难题突破
- 学术规范影响
- 传统流程被边缘化
- 成果归属争议
金句 / Highlights
值得收藏与分享的关键句。
数学家Bryna Kra指出OpenAI忽视了学术共同体对发布形式的建议
OpenAI新模型已解决Navier-Stokes等100+数学难题但未明确发布时间
数学家Tristan Buckmaster指控OpenAI抢先发布其研究成果
OpenAI 再次惹恼大批数学家 | WIRED
Isabella Ward
科学
2026年10月6日 下午1:28
OpenAI 再次惹恼大批数学家
“领先的AI公司表现出类似黑手党行为的倾向”,一位数学家向WIRED表示,当OpenAI准备发布超过100个未解难题的新解决方案时,这种看法在数学界引发了强烈反响。
照片插图:WIRED团队;Getty Images
保存此故事
8月,OpenAI召集了约40位数学家,讨论如果AI在该领域超越人类能力时应采取的措施。据与会者透露,该公司暗示其强大模型已解决了数百个长期存在的数学难题,但公司代表向与会者保证不会一次性公布所有解决方案——这一保证据OpenAI发言人Lindsay McCallum表示公司“并未意识到”——同时,由于担心社区的反应,该公司还寻求了如何发布研究结果的建议。
与会者对此的反应是“混合着兴奋和恐惧”,但西北大学数学家Bryna Kra回忆称,这次会议是一个令人鼓舞的开端。她告诉WIRED,该小组要求公司不要像本月早些时候那样仅通过博客或推文发布结果。相反,Kra表示,OpenAI需要发表论文来解释这些工作,以便数学家们能够吸收、消化并利用这些成果。“显然,这些建议被忽视了,”她表示。
据熟悉该计划的人士透露,OpenAI已告知人们,计划于周二将数百个未解问题的解决方案发布到GitHub上。WIRED称,此次发布将是今年由AI生成的数万个数学解决方案中的最新一批,因为前沿模型的能力正在不断增强。
McCallum表示:“8月28日,我们开始训练一个新的内部模型。除了解决纳维-斯托克斯千禧年难题外,该模型现已解决了数学领域大部分领域超过100个长期存在的开放性问题。”她补充说:“我们正在负责任地发布模型的下一个数学结果,并参考了高等研究院数学与人工智能顾问小组的建议,以指导我们如何发布这些结果。我们尚未设定发布时间。”
但对几位领先的数学家而言,即将发布的成果也表明,该公司从之前发布的争议中吸取的教训甚少。
在与WIRED的交谈中,这些学者表示,他们感到该领域已成为OpenAI及其竞争对手Anthropic展示其模型的游乐场,因为两家公司都在为即将进行的重磅首次公开募股做准备。数学家们表示,在竞相超越彼此的过程中,传统的科学成果发布和归因流程已被抛弃。
最引人注目的案例发生在9月。OpenAI在听到“传闻”称其他人正在接近解决方案后,部署了数千个代理来解决一个传奇的百万美元千禧年难题。纽约大学数学家兼教授Tristan Buckmaster指责该公司抢先完成了他与Anthropic员工Levent Alpöge在个人合作中为解决该问题的一个要素所做的工作。两人尚未发表他们的研究,但一直在使用OpenAI的工具来帮助他们。
在试图协商信用问题时,Buckmaster表示,OpenAI研究员Sébastien Bubeck似乎暗示应将Alpöge排除在任何论文之外,因为这会带来复杂性。(在回应WIRED的评论请求时,Bubeck指向了一项此前的公开声明,其中他否认曾要求不将Alpöge列为作者。)Buckmaster表示他拒绝了。据WIRED看到的会议记录显示,在一次通话中,Bubeck声称对Anthropic正在做的事情存在一些担忧。据笔记内容,Levent现在必须正在与他的领导层沟通,告知他们“他妈的OpenAI可以解决千禧年大奖难题”。笔记中还提到:“Anthropic又有什么能阻止他们将所有计算资源都投入去解决千禧年大奖难题呢?”
据笔记显示,当Buckmaster威胁要向媒体公开他关于OpenAI剽窃其工作的信念时,Bubeck似乎暗示这将毁掉Buckmaster的职业生涯。根据会议记录,Bubeck表示:“如果你不希望我保持友善,那我也无需保持友善。”
纽约大学访问数学教授Nestor Guillen告诉WIRED:“数学家们对AI公司存在‘黑手党行为’的感知。” “我们不同意这种说法,”McCallum表示。 “我感到非常焦虑,而且我越来越看到我的数学家同事们对此感到焦虑,不是因为AI本身,而是因为AI公司,”Guillen表示。“我认为很多焦虑源于权力在一处的集中。”
OpenAI于9月中旬组建了一个顾问小组,以帮助公司确定如何评估和传达新成果、维护学术和专业标准,并构建支持数学研究和学习的工具。但数学家们表示,公司似乎并未取得太大进展。
许多人对OpenAI和Anthropic继续通过博客文章而非科学论文发布成果感到沮丧,这使得成果更难验证,并常常排除了其他数学家的先前工作。碎片化公告不仅限于实验室:Alpöge本人通过一条在世界杯决赛后不久发出的推文宣布,他已推翻了一个87年前的猜想。
“通过推文和新闻稿发布数学成果,对我来说并不是培养生态系统的方式,而这个生态系统正是他们所依赖的肥沃土壤,”Kra表示。
今年,一些人因机器辅助证明的增加而设立了新工具,其目的是帮助社区使用新成果并筛选需要进一步消化的内容。这些工具包括Hexagon(主要用于AI生成内容的存储库)和Palomar(机器验证数学的注册表)。
尽管OpenAI被直接鼓励使用这些工具,但Kra指出:“他们并未改变行为。”她还表示,她认为公司的行为与她参与撰写的《莱顿宣言》(由4000多名数学家发起,呼吁AI公司遵守数学家的标准)并不一致。
根据与他们交谈过的人士透露,OpenAI内部有几位员工认为,无论如何,他们的技术已经让数学变得无关紧要。(“我们并不认为数学的未来已经被注定,”McCallum表示,“我们正在与数学界合作,共同探索未来的方向。”)尽管在8月的会议上,AI能力超越人类研究人员的情景被描述为一种假设,但向《WIRED》透露消息的与会者将其解读为对未来的警告。据该人士指出,公司以“警方在报告车祸死亡前可能希望通知家属”的方式,向数学家通报了其技术能力和突破。
据熟悉Bubeck想法的人士透露,Bubeck似乎认为他的公司技术将迅速终结大多数数学家的职业生涯。但Bubeck向《WIRED》表示,他相信更强大的AI可以帮助数学家解决更具挑战性的问题,更好地将他们的工作与解决现实世界挑战联系起来,并使数学更加普及。“我认为这是一个扩大数学家能力范围、提升其工作影响力的机会,”他表示。
数学家们知道他们需要适应,尤其是为了培养年轻一代,但他们并不认为自己的领域已经终结。“这会改变我们的工作方式,但我认为这是一个我们可以思考更大目标的时刻,”Kra表示。她很高兴拥有一个强大的新工具来解决问题,但她希望公司能更透明地披露信息,以便她能够信任并建立在这些成果之上。
“这是一个令人不安的时刻,”她说,“但这也是一个令人深感兴奋的时刻。”
更新:2026年10月6日,美国东部时间下午2:22,《WIRED》更新了这篇文章,以澄清OpenAI曾告知数学家他们已解决的一组数学问题的引用。