OpenAI 本週宣佈解決了一個千禧年大獎難題——納維-斯托克斯方程問題,該問題關乎流體的運動規律。據 OpenAI 稱,它動用了約 1 萬個智慧體、耗資數千萬美元的算力,僅用 88 小時就找到了解法。在通常情況下,這會被視為一項歷史性成就。然而,許多數學家卻對此愈發不安。

這種不安的核心在於:OpenAI 做數學的動機與學界不同。數學家希望推進整個領域,而 OpenAI 想要的是贏。The Verge 採訪了十多位數學家,包括處於近期爭議中心的 Tristan BuckmasterAndreas Thom。即便是對最嚴重指控持懷疑態度的人,也描述了一個被這家科技巨頭的行徑所震動的領域,並擔心它在決心擊敗對手的過程中下一步會做什麼。

事情的起因是一則傳聞。OpenAI 表示,它聽說一些研究人員在千禧年難題上取得了進展,於是決定看看自己一款先進的、尚未釋出的模型能否也取得突破。結果是可以。OpenAI 還發現,它正在與 Buckmaster(紐約大學教授)和 Levent Alpöge(其最激烈競爭對手之一 Anthropic 的研究員)賽跑。兩人正在研究納維-斯托克斯問題,但尚未完成證明。

接下來的細節存在激烈爭議,但雙方對基本事件順序大體一致。有一點尤其清楚:Alpöge 的參與對 OpenAI 來說是個問題,儘管他表示這是獨立於他在 Anthropic 工作的“個人合作”。

Buckmaster 表示,在得知 OpenAI 已察覺他們的進展並正在競速求解後,他聯絡了 OpenAI。他說,與 OpenAI 研究員 Sébastien Bubeck 的討論變得充滿爭議,在他看來甚至帶有威脅性。但公司為他提供了一條前進路徑——一條將 Alpöge 排除在外的路徑。Buckmaster 稱,他獲得了幾乎“無限算力”來完成自己的工作,並有機會作為 OpenAI 宣佈突破的論文的唯一作者,論文自然會標註其工具。

“我所要做的就是把 Levent 推下車,”Buckmaster 在電話採訪中告訴 The Verge。他說自己斷然拒絕了 Bubeck 的提議,認為這是一種“賄賂”,並開始質疑 OpenAI 是否可能從他使用 Codex(他一直在用來攻克該問題的公司 AI 工具之一)中獲益。

OpenAI 否認任何人或任何智慧體訪問了他的具體使用者資料。但在更近期的評論中,公司承認無法排除源自其產品使用資料被用於改進模型的可能性。OpenAI 發言人 Laurance Fauconnet 在給 The Verge 的宣告中堅決否認他的提示詞材料發揮了作用:“我們可以明確地說,Buckmaster 博士過去兩個月的 Codex 提示詞不可能以任何方式影響系統,包括訓練。”Buckmaster 仍不相信。“鑑於他們迄今為止的行為,人們應該對此類宣告持高度懷疑態度,”他說。

這場風波凸顯了 AI 巨頭進軍基礎科研時引發的深層張力。一方面,AI 工具展現出解決長期未解難題的潛力,可能加速科學發現;另一方面,其巨大的資源優勢和競爭驅動的方式,可能衝擊學術界的規範、署名慣例和公平競爭環境。對於關注 AI 產業的投資者而言,這既展示了前沿模型在複雜推理任務上的能力邊界,也提出了關於算力投入、資料使用倫理以及 AI 公司與學術機構關係的新問題。