OpenAI憑藉其對Navier-Stokes方程的最新證明，被列為孫宇晨首屆100萬美元數學獎得主，但這筆獎金至今仍無人申領，而OpenAI先前也已表態不打算角逐Clay數學研究所的同題「千禧年獎」。
重點整理
- 孫宇晨的獎金儲備庫已將OpenAI的Navier-Stokes成果標記為「已解決、具領獎資格、但尚未申領」。
- OpenAI表示，約1萬個AI代理運算約88小時後，由GPT-6 Astra再花17小時形式化並機器驗證整份證明。
- Clay數學研究所仍將Navier-Stokes列為「有效開放問題」，強調須完成正式審核流程後才能決定是否頒發獎金。
OpenAI與百萬獎項
根據公開資訊，孫宇晨新設的數學獎，已在官方說明中點名將OpenAI研究團隊列為首屆100萬美元首獎的得主，表彰其對三維Navier-Stokes問題的突破。對應的公開 GitHub 紀錄亦顯示，該問題已被標註為「已解」，且具備申領資格。不過，相關獎金至今仍未被提出領取。
OpenAI於9月8日公布成果，稱約1萬個AI代理（agents）先運算約88小時，之後由GPT-6 Astra再投入約17小時，負責將證明以Lean語言進行形式化與機器驗證。官方同時表示，無意競逐由 Clay Mathematics Institute（Clay數學研究所）針對同一難題設置的100萬美元「千禧年獎」。
Clay研究所在其網站上仍將Navier-Stokes存在性與光滑性問題標註為「開放中」，並於9月11日表示，OpenAI的公告「看似」對問題給出了解答，但依其獎項規則，必須先經過嚴謹、漫長的學術評估過程，方能做出任何獎項決議，相關審查目前仍在進行中。相較之下，孫宇晨另設的獎項以「可由機器檢驗的證明」為核心，只要形式驗證通過，即先行認定OpenAI團隊為得主，並未等待傳統期刊審查與學界共識的落地。
延伸閱讀： 比特幣挖礦恐面臨50％算力缺口 AI需求持續瓜分電力與設備資源
孫宇晨獎項規則與設計
孫宇晨表示，他的新獎項設計理念，是只看「結果」與「形式驗證是否通過」，而不在意解題者是人類學者還是AI系統，將機器可驗證性置於評選核心。「我只在乎最終結果，不在乎貢獻者是人還是機器。」他強調。
不過，在其獎項儲備庫中，也特別註明OpenAI的聲明並不等同於同儕審查，而目前整體數學界是否廣泛接受這份證明，尚未獲得確認，提醒外界應留意學術共識尚未凝聚的風險。
爭議焦點之一，則落在「歸功與歸屬」的界線上。紐約大學教授 Tristan Buckmaster 表示，他與合作者的一份未發表研究曾被存放於某款OpenAI產品中，但他也強調自己不知道模型是否實際用上這些內容。「我沒有指控任何人有不當行為。」Buckmaster對 The Guardian 表示。OpenAI則回應稱，內部調查結果顯示，他當初在Codex上的提示與程式碼，無法影響到最終產出Navier-Stokes證明的那套系統。
爭議起源於OpenAI在9月8日宣布，其內部AI系統已在官方設定條件下，證明了Navier-Stokes方程在有限時間內出現奇異性的結果，聲稱等同解決這道長年懸而未決的存在性與光滑性難題。
Clay研究所在2000年提出七大「千禧年難題」，每題獎金100萬美元。二十多年過去，Navier-Stokes問題在Clay官方仍列為「未解決」，如今則在數學界審視新證明的正確性與完整性之際，還要一併釐清AI輔助推導下的學術歸屬與獎項認定。
