据The Verge报道,OpenAI本周宣称其一款尚未发布的模型解决了千禧年大奖难题之一的纳维-斯托克斯方程,为此动用了约1万个智能体、数千万美元算力和88小时。但在数学界,这一进展引发的更多是不安,而非庆祝。
纳维-斯托克斯方程描述流体运动,属于千禧年大奖难题之一。OpenAI称,公司听说有研究者在该问题上取得进展,便决定测试自己的先进模型能否取得突破,结果发现可行。它同时查明,自己正在与纽约大学教授特里斯坦·巴克马斯特和安思罗匹克研究员莱文特·阿尔珀格赛跑。两人正在多条研究路线中推进该问题,但尚未完成证明。阿尔珀格称这是独立于其安思罗匹克工作的“个人合作”,但他的参与对OpenAI来说仍是一个问题。
事件后续的部分细节存在激烈争议,但双方对基本经过的描述大体一致。巴克马斯特说,他在得知OpenAI已了解他们的进展、并正自行冲向解答后联系了该公司。他表示,与OpenAI研究员塞巴斯蒂安·布贝克的讨论变得紧张,在他看来甚至带有威胁意味,但公司为他提供了一条前进路径,一条把阿尔珀格排除在外的路径。巴克马斯特说,他被许诺几乎“不设上限的算力”来完成自己的工作,并可作为OpenAI宣布这一突破的论文的唯一作者,论文自然会标注其工具。
“我要做的只是把莱文特推下车。”巴克马斯特在接受The Verge电话采访时说。他表示自己断然拒绝了布贝克的提议,认为那是一份“贿赂”,并开始质疑OpenAI是否可能从他使用Codex中获益,Codex是他用来攻克该问题的公司AI工具之一。
OpenAI发言人劳伦斯·福科内向The Verge坚决否认巴克马斯特的提示词材料发挥了作用,称“可以明确地说,巴克马斯特博士过去两个月在Codex中的提示词不可能以任何方式影响该系统,包括训练”。该公司此前曾表示,无法排除由其产品使用所产生的数据被用于改进模型的可能性。巴克马斯特仍不相信,他说:“鉴于他们迄今为止的行为,人们应当极其怀疑地看待这类声明。”
巴克马斯特最终决定公开自己的工作以及对OpenAI行为的描述。他说,他的办公室已被改造成某种“作战室”,同事们帮忙审查他的数学、协调对外沟通,甚至联系律师。布贝克在社交媒体上和接受《纽约时报》采访时否认了巴克马斯特对相关对话的描述。
The Verge本周与十多名数学家交谈,其中包括处于这些争议中心的巴克马斯特和安德烈亚斯·托姆。即便对最严重指控持怀疑态度的人也说,这个领域被这家科技巨头的所作所为震动,并担心它为了击败对手接下来还会做什么。数学家希望推进这一领域,OpenAI则想赢。