OpenAI的Navier-Stokes進展捲入爭議：作者名單、草稿隱私與AI輔助研究歸屬的各方說法整理

一則有關數學千禧年難題的爭議近日在中英文網路同步流傳。爭議核心是OpenAI宣稱在Navier-Stokes方程相關版本問題上取得的進展：外部研究者Tristan Buckmaster發布聲明文件質疑，OpenAI團隊在聽聞其研究方向後集中投入資源，且其私有AI會話草稿可能已被對方模型接觸，同時對共同研究者Levent Alpöge的作者歸屬提出異議。OpenAI方面由研究員Sébastien Bubeck參與的工作尚未對所有指控逐項回應。知乎上以「怎麼看OpenAI在Navier-Stokes數學難題上取得的進展反而出現爭議」為題的提問，將這場原本限於學術圈的分歧帶入中文討論。

Navier-Stokes方程是什麼，爭議從何而起

Navier-Stokes方程描述黏性流體的運動，是克雷數學研究所於2000年設立的七個千禧年大獎難題之一，完整解出者可獲一百萬美元獎金。難題的核心問法是：在三維空間中，給定初始條件，方程的解是否永遠平滑存在，還是可能在有限時間內產生奇點。二十年多年來無人完整解出，任何可驗證的部分進展都會受到數學界嚴格檢視。

此次爭議的前提，是有人宣稱在AI輔助下對該問題的相關版本取得重大進展，甚至接近解決其中一部分。按照知乎提問轉述的脈絡，做出宣稱的一方是OpenAI的研究團隊，而爭議的引爆點並非數學內容本身有誤，而是研究成果的來源與歸屬。

Buckmaster聲明的核心指控

普林斯頓大學數學家Tristan Buckmaster發布的聲明文件（以~tristanb/statement.pdf形式流傳）構成此事件最主要的訊源。綜合知乎提問與英文圈流傳的轉述，聲明涉及的幾個層面如下。

第一層是隱私與資料問題。Buckmaster與合作者Levent Alpöge曾使用Codex等工具進行探索，過程中產生大量未公開的會話草稿。聲明質疑OpenAI的內部模型可能訓練過或存取過這些私有內容，換言之，一方用另一方的未發表想法餵養自家模型，再產出相似方向的研究。此點目前屬於指控層級，OpenAI並未證實，公開資料也無法獨立驗證模型訓練資料的具體構成。

第二層是作者歸屬。Alpöge目前在Anthropic任職，據轉述，他在前期使用Anthropic與OpenAI的模型做了大量工作，對最終突破貢獻顯著，但OpenAI方面的Bubeck主張將他從最終論文的作者名單中移除。數學論文的署名慣例向來由作者間自行協商，此類分歧在學界並非首例，但當一方是擁有模型、算力與發布管道的商業機構時，協商位置並不對等，這是知乎討論中反覆出現的質疑角度。

第三層是敘事出入。OpenAI最初對外形容這項成果「幾乎沒有人類輸入」，後續資訊顯示整個團隊投入了大量算力，並先行處理了包括Euler方程在內的簡化版本，才逐步逼近困難部分。此一出入使「AI幾乎獨立解題」的宣傳口徑受到修正壓力。

時間順序與「搶先」的問題

聲明中最具殺傷力的部分涉及時間順序。按照Buckmaster的版本，他與Alpöge的研究方向在先，OpenAI團隊是在聽到相關工作方向之後，才調集資源集中攻關。若此說法成立，那麼OpenAI的成果便不完全是平行獨立得出的，而帶有跟進性質；再疊加私有草稿可能外流的疑慮，「用AI做前沿研究，會不會直接被搶先剝奪成果」便成為知乎提問的核心設問。

必須指出，時間順序的完整證據目前僅見於單方面聲明。OpenAI方面的內部紀錄、模型使用日誌、論文草稿的版本歷史，均未對外公開。第三方目前能做的，是並列雙方說法並標明出入，無法裁定何方敘事準確。

AI輔助研究的規則真空

此事件把一個此前多為理論討論的問題推到檯面：當研究者的未發表想法以會話形式存在於AI工具中，這些內容的保密義務由誰承擔。

多數AI服務的使用條款會說明使用者資料是否用於模型訓練，企業客戶通常簽有零數據留存或資料隔離條款。OpenAI本身亦對符合資格的API客戶提供此類機制，可參考本臺先前整理的OpenAI零數據留存機制擴展報導。但個別研究者在消費級工具上的草稿，未必落入同等保障範圍，而條款保障與內部模型的實際存取邊界，外界無從查證。Buckmaster的指控之所以難以證實也難以證偽，原因正在於此。

署名問題同樣處於規則真空。傳統數學界對AI貢獻的處理尚無共識：AI不能列為作者，但重度使用AI做出的成果如何在人類作者間分配功勞，各家期刊與機構標準不一。當貢獻者分屬不同公司，且其中一方同時是工具提供者與競爭對手僱主（Alpöge任職於Anthropic）時，利益交織使問題更複雜。

訊源狀態與可核實邊界

截至目前，此事件的可核實資訊呈現明顯的不對稱。Buckmaster的聲明文件是具名、可追溯的第一手訊源；知乎提問屬於二手轉述，細節可能經過簡化；OpenAI方面除了早期「幾乎沒有人類輸入」的對外表述與後續被披露的團隊投入規模，尚未見逐條回應聲明的完整文件。Bubeck對作者名單的主張，同樣僅見於轉述。

若幹背景事實可獨立確認：克雷研究所千禧年難題的獎金與題目設置屬公開資訊；Buckmaster是流體力學與湍流方向的知名研究者；Alpöge確已任職於Anthropic；OpenAI確實持有Codex等編碼與研究工具。至於私有草稿是否被接觸、雙方投入的具體時間線、作者名單談判的細節，均停留在單方陳述層級。

這場爭議的最終走向可能取決於幾件事：論文是否正式發表及署名如何呈現、OpenAI是否針對指控出具內部調查或資料說明、以及數學社羣對成果本身的獨立驗證結果。在這些落地之前，Navier-Stokes方程仍是未解的千禧年難題，而環繞這項進展的歸屬爭議，已先一步成為AI輔助科研治理的具體案例。

對照來看，學界因研究方向相近而產生的優先權之爭由來已久，過去靠預印本時間戳與會議紀錄釐清。AI工具的介入改變了證據形態：草稿存在於他人伺服器上，中間過程以對話形式散落，傳統的優先權判定機制尚未跟上。此案如何收場，將為後續類似糾紛提供參照，這一點目前只能觀察，無法預判。