數學家 Tristan Buckmaster 相信 OpenAI 利用他的研究成果,搶先解決了一個懸賞百萬美元的傳奇數學難題。然而,這並未阻止他繼續使用該公司的模型,而且有這種感受的數學家不只他一人。
Buckmaster 告訴 WIRED:「即使你不同意這一切,你還是被困住了。AI 如此有用,很難完全阻止自己使用它。」他補充說:「這些公司擁有壟斷地位,選擇不多。」
在這位紐約大學教授指控 OpenAI 抄襲其方法的一個半星期以來,Buckmaster 一直使用該公司的程式碼代理 Codex 來整理他的研究論文。當他有時間做數學研究時(他表示這很罕見,因為這場風波讓他成為焦點),這個工具幫助他理解 OpenAI 的代理程式可能如何從他早期的工作推導出最終證明。
Buckmaster 曾與 Anthropic 研究員 Levent Alpöge 一起,使用 Codex 和 Anthropic 的競爭產品 Claude,研究 Navier-Stokes 存在性與平滑性問題。Buckmaster 表示,OpenAI 在得知該方程式即將被解決後,部署了數萬個代理程式才達到解決方案。
當 Buckmaster 公開其主張時,引發了一場關於人工智慧是否會讓人類數學家過時的激烈討論。這也促使 OpenAI 展開調查,並修改其關於解決 Navier-Stokes 問題的聲明,稱其「證實 Buckmaster 在 2026 年 9 月 8 日這項聲明和論文發布前兩個月內使用的 Codex 提示詞,不可能以任何方式影響系統,包括透過訓練。」該公司透過電子郵件向 WIRED 指出其聲明。
Buckmaster 表示,展示 AI 正在推動數學的界限「比結果本身更重要」。但他認為,在沒有充分歸功於其背後人類工作的情況下,快速產出長期數學問題的解決方案,尤其是在大型首次公開募股(IPO)之前,是不負責任且「幼稚」的行為。
其他數學家也提出了類似的擔憂。德國數學家 Andreas Thom 在幾何群論領域鑽研了二十年,全球只有少數人能理解其技術。因此,當 OpenAI 在八月表示其 Astra 模型已利用這些技術證明了一個他長期研究的問題時,Thom 說:「我感到非常驚訝,當然我也想知道他們是如何學到這些的?」
他說他曾詢問 OpenAI 研究員 Mark Sellke 和 Sébastien Bubeck。在八月的一封電子郵件中,他指出該公司聲稱過去十年來該問題「沒有進展」的說法,忽略了他 2019 年的一篇論文以及其他數學家的工作。該公司隨後修改了新聞稿。
他和一位同事在結果發布前的幾個月裡,一直使用 ChatGPT 協助他們研究這個問題。但當他詢問他們的互動是否被用於訓練資料時,Thom 表示 Sellke 回覆:「沒有發生這種情況。」
Thom 回憶說:「我把這件事擱置了。我對這些政治性的事情不太感興趣;我只想專注於數學。」儘管 Thom 看過 OpenAI 關於 Buckmaster 的提示詞無法影響系統的聲明,但他表示不信任,並承認他可能永遠不會知道自己的工作是否真的促成了這個結果。
他說:「AI 徹底扼殺了追溯誰貢獻了什麼的整個想法。這可能已經結束了。」這與科學界通常的做法大相徑庭,學術界通常會讓研究結果接受同儕審查,並在相互借鑒的基礎上進行工作,同時給予應有的歸屬。
除了顛覆歸屬權,人類仍然無法完全理解 OpenAI 代理程式達到 Navier-Stokes 結果的每一步,這也給數學家帶來了存在性的問題。他們眼睜睜看著自己的領域逐漸超出理解範圍。
康乃爾大學數學家 Alex Townsend 說:「當這些萬億美元的公司也參與進來時,如果我只想作為一個人類為數學做出貢獻,我該怎麼做?」他是一本即將出版的關於該領域演變的書籍的共同作者。
自八月以來,Townsend 看到許多同事開始詢問他們需要了解哪些技術,以及如何訂閱以獲取更高性能的模型。Townsend 說:「我同時感到興奮又緊張。興奮是因為我可以完成沒有 AI 就無法完成的事情,緊張則是因為我在質疑:『好吧,我在這裡的目的是什麼?』」
Thom 接受他的研究領域正在改變,並繼續使用 ChatGPT 來加速論文寫作,因為它「極其高效」——他已更新隱私設定,以防止其工作被用於訓練資料。(OpenAI 透過大學和企業級別提供的服務,預設不會使用用戶資料來訓練模型。)
他談到有人未經歸屬就使用他的作品時說:「如果人類主動這樣做,我會非常非常生氣。」但如果資訊是透過後門,由一個沒人完全理解的演算法拉入模型中,「我或許可以接受。」他說。
一些數學家則不那麼寬容。二十五位菲爾茲獎得主在一封公開信中寫道,AI 公司和數學家之間「嚴重不協調」。超過 4,000 人簽署了《萊頓宣言》,其中包含一系列建議,說明數學家、資助者和政治家如何確保 AI 不會吞噬這個領域。
Buckmaster 擔心使用 AI「清理一些語法,然後你多年的工作可能就會被用戶資料吞噬,並出售給另一位數學家或研究生。」他說:「我認為這是大多數數學家傾向於擔心的問題,而且我認為這是一個真實的問題。」
由於目前沒有監管措施,且 AI 進一步深入該領域,一些數學家希望至少能踩下煞車。這包括超過 2,000 名與加州理工學院相關的人士,他們呼籲該校的 AI 數學黑客松主辦方暫停活動。該黑客松由 Anthropic 和 OpenAI 贊助,儘管後者後來已退出。
但任何減緩進程的嘗試可能都是徒勞的,尤其從長遠來看。Thom 說:「我認為這真的不可持續,因為 AI 提供了效率上的巨大提升。」他補充說,任何數學家——尤其是早期職業研究人員——如果不使用 AI 來加速他們的工作,就有被「孤立」的風險。
他和 Buckmaster 都認為,社群需要開始思考這項技術對年輕數學家意味著什麼,以及如何平穩過渡。Townsend 表示,下一代數學家已經在尋求指導:學生們也一直在詢問,現在 AI 解決數學問題的能力如此強大,他們的未來會是怎樣。
Buckmaster 呼籲在 AI 驅動的數學領域實現「緩和」,同時數學家和 AI 實驗室能制定一些關於如何發布成果的基本規則,包括正確引用參考資料。他本人也將清理上週為搶在 OpenAI 宣布之前發布的論文,其中一篇他形容為「AI 糟粕」。
他說:「我有責任清理我發布的那些未完成的論文,我認為我有責任向數學家解釋我們做了什麼。」他也樂意與 OpenAI 討論此事。他說:「我不想只參與爭鬥。」至於他是否會真的與該公司合作解決問題,他帶著一絲苦笑說:「我們必須小心。」
