數學家Tristan Buckmaster公開指控OpenAI施壓,要求其從一篇關於Navier-Stokes方程突破性進展的論文中移除合著者Levent Alpöge,理由是後者在競爭對手Anthropic工作。Buckmaster稱,OpenAI還威脅他若不配合將影響其職業生涯。OpenAI尚未回應這些指控。
Buckmaster與Alpöge使用AI模型在Navier-Stokes方程上取得重大進展。Navier-Stokes方程是克雷數學研究所七大千禧年難題之一,每個難題懸賞一百萬美元。兩人數月來使用多種AI模型,包括Anthropic的Claude和OpenAI的Codex(執行GPT-5.6 Sol)。截至8月中旬,他們聲稱取得多項突破,並找到特定Navier-Stokes變體的結果,但尚未發表或正式驗證。若獲公認,這將是數學界和AI輔助研究的里程碑。
9月初,關於重大數學突破的傳言開始流傳。Buckmaster稱,Alpöge得知他們的工作資訊已洩露給OpenAI。9月3日,Buckmaster主動聯絡OpenAI的一位數學家澄清事實,強調這是純個人合作,無機構協議。OpenAI當天回應,詢問細節並提供計算資源。Buckmaster提議下週通話,但OpenAI催促更急,週五詢問能否當天談,週日中午12:45又問“今天任何時間”是否可行。
那個週日,OpenAI的Sébastien Bubeck加入對話。Buckmaster稱,在兩次電話中,OpenAI告訴他內部模型已為帶強迫項的Navier-Stokes方程生成了約100頁的證明。起初OpenAI稱只需“極少人工輸入”,但隨對話深入,Buckmaster瞭解到實為一個團隊參與,用較易問題作鋪墊,並投入大量算力。Buckmaster指出,提及“強迫Navier-Stokes”表明OpenAI正走他與Alpöge選擇的同一非主流路徑,而這條路徑幾乎無人研究。兩人在整個專案中將所有草稿上傳至OpenAI Codex會話。當Buckmaster詢問OpenAI模型是否在其訓練資料中或可訪問這些會話時,被告知模型不查詢使用者資料;但當他追問訓練相關問題時,未獲答覆。
OpenAI開發者Noam Brown在Astra釋出會上曾表示,OpenAI嘗試過千禧年難題但未找到解法,且未投入太多算力。那是在8月初。
Buckmaster稱OpenAI提出兩個方案:其一,Buckmaster和Alpöge先發表Euler結果,OpenAI次日發表自己的結果,並稱他們為“最接近該問題的人類”;其二,Buckmaster單獨發表Navier-Stokes結果並致謝OpenAI內部模型。兩個方案中,Bubeck兩次“堅稱”要移除Alpöge的作者身份,理由是Alpöge在Anthropic工作“太煩人”。Buckmaster拒絕兩個方案,並表示若OpenAI按提議形式發表,他將公開此事。他稱對方回應:“你為什麼要毀掉自己的職業生涯?”當他回答自己是學者時,Bubeck說:“如果你不想讓我客氣,那我也不必客氣。”Buckmaster還稱,Bubeck後來單獨給Alpöge發簡訊說:“我不確定Tristan現在是否完全理性。”Alpöge未予回應。
Buckmaster明確表示並非指控任何人,他未見過OpenAI的證明,也不知道其資料是否被使用。他公開此事是因為“否則一系列公告會說出我知道是虛假的內容”。他原本想討論的是:數學家使用語言模型一個月能完成過去需更長時間的工作,他稱之為“深藍對卡斯帕羅夫時刻”。OpenAI尚未回應。