OpenAI 憑其對納維-史托克斯（Navier-Stokes）方程的最新證明，被列為 孫宇晨 首屆 100 萬美元數學大獎得主，相關證明 已標示為「已解」，惟獎金至今無人認領，而 OpenAI 早前亦已表明，不會角逐 Clay 數學研究所的同一難題千禧年獎。
焦點要點：
- 孫宇晨的獎金倉庫顯示，OpenAI 的納維-史托克斯條目狀態為「已解、可申領、未領取」。
- OpenAI 指約一萬個 AI 代理運算約 88 小時，其後由 GPT-6 Astra 再花 17 小時形式化及機器驗證整份證明。
- Clay 數學研究所仍將納維-史托克斯列為「開放問題」，強調在作出獎項決定前必須經過嚴格審查，程序仍在進行中。
OpenAI 奪孫宇晨獎仍未領取
根據孫宇晨公布的新獎項安排，他的數學獎已正式點名將 OpenAI 相關研究團隊列為首屆 100 萬美元頭獎得主，以表彰其對三維納維-史托克斯問題的突破。公開的 GitHub 紀錄顯示，該問題已被標示為「已解決」，並符合領獎資格。不過，獎金至今仍原封不動，未有被申領。
OpenAI 於 9 月 8 日公布成果時稱，約 10,000 個 AI 代理先後運算約 88 小時，其後由 GPT-6 Astra 再用 17 小時，在 Lean 系統內將證明形式化並完成機器驗證。公司同時表明，無意申請 Clay 數學研究所 針對同一難題設立的 100 萬美元千禧年大獎。
Clay 方面暫時依舊將該難題標註為「仍然開放」，並在 9 月 11 日表示，OpenAI 的公告「表面上似乎已經解決」相關問題，但按照獎項規則，必須先經過充分及審慎的專業評估，才可作出最終獎勵決定，相關程序尚未完成。相對之下，孫宇晨獨立設立的獎項則以「可由機器檢驗的證明」為核心標準，未有等待傳統學術審查程序完成，便率先將獎項頒予 OpenAI 團隊。
延伸閱讀：比特幣礦工面臨 50% 算力缺口 AI 爭奪機房資源
孫宇晨訂立的遊戲規則
孫宇晨表示，他設計這項獎金，目的在於獎勵「結果本身」，而非執行者到底是人還是 AI 系統，並將形式化驗證置於評審核心。他直言：「我只在乎結果，不在乎貢獻者是人類還是機器。」不過，其獎金倉庫同時標註提醒，OpenAI 的公告並不等同於傳統同行評審，整體數學界尚未就該證明達成廣泛共識。
圍繞「歸屬權」的疑問則仍未完全釐清。紐約大學教授 Tristan Buckmaster 指出，他與同事的一份未發表研究，曾存放於某款 OpenAI 產品之內。他同時補充，自己並不知道相關模型有否實際利用該工作成果，並強調：「我沒有指控任何人做錯事。」他向 The Guardian 表示，問題仍待釐清。OpenAI 則回應稱，內部調查顯示 Buckmaster 使用 Codex 的提示內容，不可能影響生成這份證明的系統。
上述爭議源於 OpenAI 在 9 月 8 日宣稱，其內部系統已在官方條件下，證明納維-史托克斯方程在有限時間內會出現奇點，等同解決延宕多年的「存在性及光滑性」經典難題。
Clay 早於 2000 年設立七大「千禧年難題」，每題獎金 100 萬美元。逾二十年過去，納維-史托克斯在官方紀錄上仍屬「未解」，數學界現正密集審閱這份新證明，同時要處理貢獻歸屬與 AI 使用他人研究成果的倫理問題。
