OpenAI破解千禧年數學難題遭質疑涉他人未公開研究

（綜合ETtoday新聞雲、聯合報等2家媒體報導）

OpenAI宣布，一款內部尚未公開、能力比GPT-6 Astra更強的下一代AI模型，已針對克雷數學研究所2000年公布的「千禧年大獎難題」之一——Navier–Stokes方程式存在性與光滑性問題——提出解答。該研究最多同時動用約1萬個AI代理，連續運作約88小時，產出約165頁數學證明，並使用Lean將論證形式化，算力成本達數百萬美元。OpenAI表示不打算申請100萬美元獎金。

然而，這項成果因涉及其他數學家尚未公開的研究而引發爭議。就在OpenAI公布前約12小時，紐約大學數學家Tristan Buckmaster與Anthropic研究員Levent Alpöge也宣布利用多種AI模型解決相關問題，但雙方確認後發現兩邊解的並非同一題目——Buckmaster與Alpöge處理的是受迫Euler方程式，而非Navier–Stokes千禧年難題本身。

Buckmaster公開質疑OpenAI是否從兩人的研究得知方向後迅速展開研究，並對私人Codex資料是否可能發揮作用提出疑慮。他還指控OpenAI研究員Sébastien Bubeck因Alpöge任職於Anthropic，曾施壓要求將他從作者名單中移除，當Buckmaster揚言公開互動內容時，Bubeck據稱回應：「你為什麼要毀掉自己的職業生涯？」[1]

OpenAI表示在進行證明的過程中並未存取Buckmaster或Alpöge的特定使用者資料，但無法完全排除間接關聯。OpenAI執行長Sam Altman在X發文表示：「現在我們已經能看到他們的研究，雙方採取的方法看起來並不相同。」但他也承認，OpenAI是在聽聞Anthropic的模型據傳已解決一項重大數學難題後才啟動研究，「我們很好奇，我們的模型是否也能做到。」[1]

目前OpenAI的說法仍屬「提出解答」，須經數學界獨立審查及克雷數學研究所公開認可，才能確認是否真正解決該難題。