OpenAI 發布聲明，指出在完成納維-斯托克斯（Navier-Stokes）問題後，已在另一項千禧年大獎問題上取得「重大進展」。該聲明未具體說明是哪一題，僅表示團隊正斟酌如何分享這些成果，暗示詳細證明或數據尚未公開。此消息緊接在 OpenAI 聲稱使用 AI 智能體群解決納維-斯托克斯問題之後，延續了先前由約一萬個 AI 智能體生成、並在 Lean 形式化的納維-斯托克斯反例先例。

事件背景

千禧年大獎問題是克雷數學研究所於 2000 年選定的七個著名未解數學問題，每題獎金為一百萬美元。納維-斯托克斯存在性與光滑性問題旨在探討三維空間中流體運動方程是否總存在光滑解，是物理學和工程學中的關鍵問題。OpenAI 近期的工作涉及使用大規模 AI 智能體群來生成和驗證數學證明，標誌著複雜定理發現方式的轉變。

社群觀察

社群情緒既懷疑又熱情，用戶們爭論「重大進展」是否指霍奇猜想，抑或僅是行銷手段。部分評論者引用過去的爭議質疑 AI 生成證明的有效性，而其他人則對與這些數學發現相關的訓練數據截止日期表示好奇。