出品|网易科技《态度》
作者|葛嘉淼
编辑|丁广胜
我把你当科研搭子,你却要当我竞争对手?
9月7日深夜,纽约大学数学教授特里斯坦·巴克马斯特(Tristan Buckmaster)与合作者莱文特·阿尔珀格(Levent Alpöge)发布流体方程研究成果。
时隔半天,全球科技圈也迎来重磅消息:OpenAI官宣,其新一代自研AI系统成功攻克纳维–斯托克斯方程(Navier–Stokes equations,简称N–S方程)千禧年大奖难题。
这条官宣帖子迅速收获超5180万次浏览,消息传开后,舆论多数赞叹AI突破人类智力边界,改写基础数学研究历史。
这两则关于数学突破的消息,随后因一段私下通话演变成一场风波。
9月1日,科研圈传出N–S方程有关键突破的风声。Buckmaster认为,传言指向的正是他和Alpöge团队尚未公开的阶段性成果;在他看来,OpenAI很可能因此注意到这一路径,并迅速把资源投向相关问题。
OpenAI的说法不同:公司称,当天听到的是“两个千禧年难题已有突破”的传闻,随后启动了对所有未解难题的测试,之后才确认消息与Buckmaster、Alpöge的研究有关。9月6日,OpenAI研究员塞巴斯蒂安·布贝克(Sébastien Bubeck)致电Buckmaster团队,称完整证明已经完成,准备对外发布。
根据Buckmaster的公开表述,通话中双方谈到成果发布顺序与论文署名,OpenAI提出了两套方案:要么双方错峰发布成果,要么由Buckmaster担任唯一通讯作者,但需要剔除Alpöge的署名,同时明确标注:核心证明由OpenAI模型完成。
Buckmaster拒绝了。他提到,OpenAI曾以Alpöge任职竞品Anthropic为由,提议不在相关论文中署上Alpöge的名字。
Buckmaster还称,交涉陷入僵局时,对方曾说出“你为什么要毁掉自己的职业生涯”,这句话也成了整场事件的争议焦点。
Bubeck随后公开致歉,承认自己用词欠妥,但否认有威胁意图。他解释称,从未要求剔除Alpöge在已有成果中的署名,只是邀请Buckmaster参与OpenAI后续论文的改写工作......
双方对通话细节各有说法,外界目前无法还原当时的完整情形。
但一个值得注意的细节已经浮现:Buckmaster强调的是个人学术合作,而OpenAI的考量里,始终掺杂着商业竞争与企业利益。
同一个研究者,在学术场景里是同行,在公司竞争里又可能属于对手阵营。这两种身份碰在一起,事情就不只是一次普通的合作分歧。
1、无法自证清白的灰色地带:研究数据去了哪里?
大众吃瓜,大多盯着“巨头抢功、言语威胁”的戏剧桥段。但这次事件的背后,带出了一个长期被我们忽略的隐患:AI工具的数据使用灰色地带,根本没人能说清、没人能管住。
过去一年,Buckmaster团队把未公开的猜想、半成品代码、核心推导草稿输入OpenAI Codex完成迭代校验。对科研人员来说,这些独家的、未公开的研究内容,就是未来论文、课题与学术声誉的根基。问题随之变得直接:这些内容有没有可能被用于模型迭代与技术参考?
面对质疑,OpenAI的回应十分“暧昧”:工作人员不会主动调取、查看用户的私人会话,但无法完全排除用户脱敏后的使用数据,间接助力了模型迭代。
换句话说:即便没有人直接翻看研究草稿,但你在工具上留下的推导逻辑、验证过的路径、踩过的坑,也可能在脱敏后成为模型改进的一部分。
这就形成了一个无解的闭环:学者没法实锤证明自己的思路被借鉴,AI巨头也没法彻底自证清白,谁都说不准真相到底是什么。
更耐人寻味的是时间线的巧合:9月1日行业传出研究进展的消息后,OpenAI迅速调动1万个并发AI智能体,仅用88小时、耗资数百万美元就完成了完整证明。
一边是学者一年磨一剑的深耕,一边是巨头几天算力碾压式的冲刺,悬殊的差距,研究者自然会追问自己的工作是否受到了保护。
它给所有科研人敲了警钟:我们付费用来提效的AI工具,也很可能反过来成为我们的对手,并且利用我们的研究过程进行自身能力的优化。
2、一份证明,还要过几道关?
争论的前提需要厘清。
过去一年,Buckmaster与阿尔珀格组成研究团队,深耕流体力学核心方程,持续通过OpenAI Codex工具辅助公式推导、代码验证与逻辑校验,逐步攻克关键技术瓶颈。
Buckmaster团队证明的是带光滑外力的三维不可压缩欧拉方程可实现有限时间爆破。
这是一项重要的阶段性突破,但并不等于完全攻克N–S方程千禧年难题。
两者的核心差异,在于是否纳入流体“黏性”这一核心变量。欧拉方程忽略流体黏性,模拟的是理想状态下的流体运动,证明难度相对更低;而N–S方程贴合现实世界,纳入了流体黏性、阻力等核心变量,是描述大气湍流、水流运动的核心公式,也是困扰数学界近百年的世界级难题。
OpenAI声称构造出了符合条件的N–S方程反例,并完成Lean形式化验证。不过截至目前,其证明逻辑的严谨性、命题匹配度,仍有待全球顶尖数学家逐一核验,尚待独立学界核验。
小编查阅资料时发现,Hacker News的评论分成两派:一部分人将其视为AI数学能力跃升的信号;也有人认为,在独立核验完成前,“公布解法”不能直接等同于“解决难题”。用户提示词和研究过程会不会影响模型训练,也让争议从数学问题延伸到了数据与署名。
因此,这场风波不能简单概括为“两个人做出了同一份答案,OpenAI抢先拿走发表”。
3、时代困境:当工具提供商也下场参赛
这件事能跨圈层刷屏,是因为它把一种已在发生的变化摆到台面上:过去,工具厂商主要卖服务,研究者负责产出成果。现在,AI企业既向研究者提供工具,也可能用自己的模型和团队进入同一研究方向“比赛”。对使用者而言,工具提供商也可能成为竞争者。
研究者陷入两难:用AI,核心思路有被复用、被超车的风险;不用AI,又担心在行业内卷中彻底掉队。
更尴尬的是,沿用百年的时间戳、同行评审和署名规则,主要为人工科研设计,尚不足以回应模型训练、数据脱敏和算力碾压带来的新问题。
热门跟贴