夜雨聆风学习资料网

ARTICLE · 1029593

万台AI狂暴算破百年数学难题!OpenAI深陷“偷看用户草稿”惊天丑闻

万台AI狂暴算破百年数学难题!OpenAI深陷“偷看用户草稿”惊天丑闻

88个小时,一万个AI智能体,三千亿个Token,一千五百万美元算力狂飙。

2026年9月,OpenAI向全世界丢出一记重锤:他们用未公开的下一代超级模型,彻底攻克了数学界悬赏百万美元的世纪难题,纳维–斯托克斯(Navier–Stokes)方程

▲ OpenAI 官方宣布攻克千禧年难题 Navier–Stokes 方程

首席执行官山姆·奥特曼甚至在社交媒体上戏谑地调侃:“你们知不知道,这个克莱研究所的奖金其实才一百万美元?”

然而,香槟还没来得及咽下,一场史无前例的学术海啸就轰然爆发。

纽约大学的数学家与Anthropic的研究员突然站了出来,亮出了一张令人心惊的时间线:在OpenAI宣布突破的前几天,他们正付费使用OpenAI的Codex推进同一项研究,并将从未发表的推导草稿,源源不断地输进了输入框里。

外界原本还在围观AI攻克数学难题的狂欢,整个事件却迅速演变成涉及商业刺客疑云的学术伦理风暴:你在云端AI里写下的绝密科研灵感,会不会转头就被大模型公司拿去训练自家模型,随后用一万张显卡将原作者当场碾碎?

价值百万美元的世纪谜题,到底在争什么?

要看懂这场风暴,我们得先用三分钟,把这道难倒了人类两百年的题目搞明白。

你早上搅动一杯咖啡,或者看着天上的云卷云舒、飞机划过长空,这些流体的运动,全都可以用19世纪写下的纳维–斯托克斯(Navier–Stokes)方程来描述。它本质上就是流体版本的牛顿第二定律

▲ 克莱数学研究所悬赏百万美元的 Navier–Stokes 方程难题

但在数学家眼里,这个方程有一个致命的乌云:一池原本风平浪静、光滑流动的水,在没有人为干预的情况下,会不会在某一瞬间,局部速度突然飙升到无穷大?

这种现象在数学上被称为“爆破”(Blowup,即产生奇点)

如果真的发生爆破,现实里的水流倒不会瞬间轰然四溅;它宣告的,是人类现有的宏观连续介质物理定律在数学层面彻底失效崩溃2000年,克莱数学研究所将这个问题列为“千禧年七大数学难题”之一,任何人只要能证明解永远光滑、或者构造出一个发生爆破的反例,就能拿走一百万美元奖金。

两百年来,无数数学天才折戟沉沙直到最近,纽约大学数学家特里斯坦·巴克马斯特(Tristan Buckmaster)与合作者阿尔珀格(Levent Alpöge),悄悄找到了一条极其冷僻的突破小径,“光滑外力下的有限时间爆破”

简单来说,他们不用蛮力,而是精妙地给流体施加一种极其温和的外力,像拉拉面一样把流体漩涡越拉越细、向内螺旋,最终让流体自身产生抵消,在有限时间内诱发速度无穷大的奇点。

他们成功了8月22日,他们用计算机形式化语言Lean核验通过了无粘性欧拉方程的爆破证明。为了把草稿整理成人类能看懂的论文,他们通宵达旦地把海量推导扔进OpenAI Codex和Claude里进行润色与辅助计算。

他们万万没想到,这张通往数学圣殿的草稿纸,可能直接被放进了对手的复印机。

午夜凶铃:“你为什么要想不开,毁掉自己的职业生涯?”

9月初,数学界隐秘的圈子里开始流传“千禧年问题被突破”的传闻。

巴克马斯特感到不妙,主动发邮件给OpenAI的数学团队打招呼:我们即将公开论文。

9月6日下午,电话接通了连线的另一端,是OpenAI副总裁兼顶尖数学家塞巴斯蒂安·布贝克(Sébastien Bubeck)。

▲ 数学家 Buckmaster 在纽约大学主页挂出的公开声明

巴克马斯特在事后发布的公开声明中,记述了这场令人窒息的对话。

布贝克在电话里平静地抛出一个惊人消息:OpenAI的内部模型刚刚调用一万个并发智能体,连续运转88个小时,同样证出了纳维–斯托克斯方程的有限时间爆破,整整一百页证明。

听到对方口中吐出“有外力(Forced)爆破”这几个词时,巴克马斯特浑身的汗毛都竖了起来。

他在声明中写道,那是一面极其醒目的危险红旗:在这个冷门领域,几乎所有主流学者都在硬啃无外力模型,唯独他们这支两人小组,在完全保密的情况下,选了这条几乎无人涉足的外力路线。

“几天之内随便丢个题目给AI,模型绝无可能凭空摸到这种方向。”

巴克马斯特当场质问:“你们的模型,究竟有没有读取我们保存在Codex里的全部草稿数据?”

电话那头陷入了微妙的沉默,随后表示:智能体没有特意去数据库里检索你们的数据。但当被追问更广泛的底层训练集时,对方没有给出回答。

更令人震惊的交涉随之而来根据巴克马斯特的记录,OpenAI方面提出了几个匪夷所思的方案:

  1. 署名置换
    :巴克马斯特可以作为第一作者,来改写OpenAI那篇百页证明;
  2. 踢出合作者
    :条件是必须把另一位作者阿尔珀格的名字拿掉,“因为他是Anthropic的员工,事情会变复杂”
  3. 当面警告
    :在巴克马斯特拒绝妥协、表示根本无法信任对方时,对方甚至抛出这样一句充满施压意味的反问:“你何苦为了这些毫无根据的指控,毁掉自己的职业前程?”

▲ OpenAI 副总裁 Sébastien Bubeck 发长文澄清并公开短信记录

风暴发酵后,布贝克紧急发长文公开道歉,解释那句话只是“极度糟糕的措辞失误”,当场已经收回;并辩称自己提出改写方案,只是想在商业竞争的夹缝中,竭尽全力为这位人类数学家争取最大的荣誉与信用。

但裂痕已经无可挽回地撕开

“无法排除”的罗生门:公关辞令下的信任坍塌

OpenAI在官方公告里,将这场突破包装成人类历史上最壮丽的AI科学里程碑。但面对学术界铺天盖地的质疑,他们的公关口径却出现了一处致命的破绽。

在最初的官方澄清中,OpenAI写道:没有人类研究员或智能体为了这道题去翻看具体用户数据;“尽管可能性极低,但我们无法排除(cannot rule out),数学家在使用产品过程中产生的去标识化数据,帮助改进了我们的模型。”

▲ OpenAI 高管 Mark Chen 发帖试图划清“解题访问”与“日常训练”的界限

OpenAI高管Mark Chen随后发推试图灭火,划出两条红线:

  1. 解题时有没有人专门查他们的私人对话?没有。
  2. 我们会不会用去标识化数据来全面提升ChatGPT和Codex的能力?会,每家大模型公司都这么干。

但这句“每家公司都这么干”,瞬间在整个科研圈与科技界激起强烈恐慌。

▲ 社区高赞回复直击要害:请直接查验训练集是否包含受害者数据

一位中文科技评论者一针见血地指出:“‘没碰具体数据’和‘没接触更广泛训练’之间,留下的操作空间实在太大了。”

这正是现代大模型最危险的“数据暗箱”:你是一个生物学家、芯片设计师或数学家。你付着昂贵的API账单,把凝聚了你半辈子心血的半成品公式输入云端,向AI提问“帮我看看这个矩阵能不能化简”。

在研究人员眼中,它俨然是个老老实实打工的数字助手。殊不知后端的自动化清洗流水线,早已把这段推导剥离了作者姓名,打碎变成了海量训练Token。

几天后,这家大模型公司调集了一万张H100芯片,顺着你点燃的那一抹灵感火星,以八万倍于人类的速度,把整座科学森林烧了个精光,然后召开全球发布会,宣布这是属于AI的伟大独立发现。

考古现场开进了挖掘机:这是数学界的深蓝时刻

菲尔兹奖得主陶哲轩(Terence Tao)等顶尖学者在此刻发出了沉重的警示。

▲ 《The Verge》等主流媒体指出这一事件给学术界带来了巨大的信任寒意

千百年来,数学共同体的繁荣建立在一套非常脆弱却高尚的基石上:开放分享、非正式研讨、邮件交流以及学术预印本。 学者们敢在咖啡馆里把未成熟的想法画在餐巾纸上讨论,是因为人类同行的研究速度差不多,大家遵守着基本的优先权道德底线。

但现在,商业AI巨头把挖掘机开进了精雕细琢的考古现场。

传统数学家像考古队员,拿着毛刷一点点清理地层,寻找真理的脉络;而拥有无限算力的科技巨头,只要探听到哪个山头有宝藏的蛛丝马迹,就能在一夜之间把整座山推平,把金冠挖出来挂在自家的展厅里。

这种降维打击,直接把数学家逼入了孤岛。如果任何一次向AI的提问都可能触发一场数千万美元的算力伏击,未来还有哪位科学家敢在云端工具里袒露前沿思想?

人类科学进步赖以生存的“灵感流动”,正在被商业算力的暗算蒙上一层刺骨的寒霜。

算力狂飙时代,机器接管验证,但信任已经粉碎

在这场震动全球的纷争中,有一个极具讽刺意味的细节:

双方为了证明自己正确,都使用了Lean代码,一种用计算机严密核查逻辑漏洞的形式化数学工具。无论是OpenAI的一百页证明,还是巴克马斯特的推导,计算机内核都能在几小时内冷冰冰地给出判定:逻辑成立,定理为真。

我们终于创造出了能够完美验证真理的机器,却在同一时刻,彻底失去了人与人之间的信任。

数学家巴克马斯特将当下称为科学界的“深蓝 vs 卡斯帕罗夫时刻”人类原本应该停下来,认真讨论如何培养下一代学生、如何重新定义科研署名、如何让人机协作走向崇高。

但现实却是一场狼狈的公关泥潭与版权拉扯。

纳维–斯托克斯方程的奇点或许真的存在。但比流体爆破更早到来的,是科学伦理与科技巨头垄断之间的剧烈爆破

当工具的提供者本身就是赛道上最贪婪的竞争者,每一个在键盘上敲下未发表公式的研究者,都必须在屏幕前回答那个冰冷的问题:

在你按下回车键的那一刻,你究竟是在雇佣一个助手,还是在亲手埋葬自己的科研生命?

相关学习资料

返回首页浏览学习资料