OpenAI 9月8日表示，一個內部模型動員約一萬個代理（agents），聲稱已為納維‑斯托克斯問題給出解決方案，惟有兩名數學家公開質疑這項主張。
重點摘要：
- 一個尚未對外發布的OpenAI系統，聲稱已就七大「千禧年獎金難題」之一，寫出完整證明並以Lean作形式化。
- 與此問題相關、在前一日發表結果的Tristan Buckmaster及Levent Alpöge，質疑OpenAI何以採用與他們極為相近的路徑。
- 田銘泰批評，AI實驗室正把著名數學懸案當成公關噱頭，而非真正追求數學洞見。
OpenAI納維‑斯托克斯證明細節
公司在官網刊出說明及Lean形式化檔案，聲稱證明：一開始平滑且靜止的流體，能在有限時間內產生奇點。研究團隊形容，這個內部系統遠較GPT‑6 Astra強大，模型仍在持續訓練中，表現「不斷攀升」。納維‑斯托克斯方程的正則性與光滑解問題，數學界已追逐近九十年；早在1934年，Jean Leray已證明在較寬鬆、廣義的框架下存在解。
OpenAI指，模型自8月28日開始訓練，9月1日便被「全線推上」所有千禧年獎金難題，背景是坊間盛傳當中已有兩題被攻破。管理層向記者透露，為這次演算埋單的運算成本達數百萬美元。
延伸閱讀： XRP價格九月再現巨鯨吸納 目標瞄準1.46美元
Buckmaster與Bubeck就功勞問題交鋒
Tristan Buckmaster是紐約大學的數學家，Levent Alpöge則是Anthropic研究員，今次以個人身份參與。他們過去近一年一直研究相近的流體方程，建基於Diego Cordoba及Luis Martinez‑Zoroa的既有成果，並於OpenAI公開結果前一日，率先發表就「受迫Euler問題」的Lean驗證證明。
Buckmaster其後追問，自己先前在Codex撰寫、未公開的草稿，是否曾間接影響OpenAI的研究方向；但他稱，對方對訓練數據來源的追問始終未有正面回覆。
他又指，OpenAI研究員Sebastien Bubeck曾要求把Alpöge從論文作者名單剔除，理由是其任職Anthropic，並警告對方勿把爭議公開。
Bubeck其後在受訪時否認相關說法，稱指控「失實且具煽動性」。
OpenAI表示，其研究人員及代理在對外發布前，均未接觸過Buckmaster與Alpöge的工作，但亦承認，經「去識別化」處理的使用數據或有助提升模型表現。公司強調，無打算申領與此難題掛鈎的一百萬美元獎金。設立七大難題的克雷數學研究所（Clay Mathematics Institute），至今仍把納維‑斯托克斯列為「未解決」。
田銘泰質疑AI公司「掏空」數學研究
被譽為當代頂尖數學家的**田銘泰（Terence Tao）**在訪問中警告，大型AI公司正把這類著名懸案視作最新模型的「宣傳樣板」。他指出，若只著眼於從舊問題中「榨出答案」，反而會破壞孕育新技術、新問題，以及培養下一代數學家的學術生態，形容這種做法猶如洗劫考古遺址。
是次AI攻關的規模亦急速擴大：團隊先動員約100個代理，在約50小時內解出較簡單的「無外力Euler方程」問題。其後再把資源集中攻打納維‑斯托克斯方程；相關代理於9月5日、啟動約88小時後報稱找到答案，而以Lean進行形式驗證則再花17小時完成。
