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 時代的科研現實，不論成果由人類或 AI 產出，只要經過嚴格形式驗證，便應得到獎勵。他強調：「我只看結果，不在乎貢獻者是人還是機器。」同時，他在相關程式庫中亦加註說明，OpenAI 公布的證明並不等同傳統意義的同行評審，整個數學界亦尚未形成廣泛共識。
然而，圍繞歸屬與引用的爭議仍在發酵。紐約大學教授 Tristan Buckmaster 指出，自己與合作者的一些未刊出研究曾被存放於某款 OpenAI 產品當中，但亦補充稱，並不清楚 AI 模型是否實際使用了該等內容。他向 The Guardian 表示：「我並沒有直接指控任何人。」OpenAI 則回應指，內部調查顯示，Buckmaster 在 Codex 產品中的提示（prompts），無法影響最終產出該項證明的系統。
是次爭議源於 OpenAI 在 9 月 8 日聲稱，其內部系統已在官方條件下證明納維–斯托克斯方程存在有限時間奇異點，從而處理了長年懸而未決的「存在性與光滑性」問題。
Clay 研究所早在 2000 年推出「千禧年大獎難題」，為七大數學難題各設 100 萬美元獎金。二十多年過去，納維–斯托克斯問題在該機構的名單上仍屬「未解」，現時數學界仍在審視 OpenAI 的新證明，以及相關的學術歸屬與引用問題。
