PANews 9月9日消息，OpenAI宣佈其內部系統給出納維–斯托克斯存在性與光滑性問題的一個解答：在光滑外力作用下，初始靜止且光滑的三維不可壓縮流體可在有限時間內形成奇點，且全過程能量保持有限。OpenAI稱，該結果對應克雷數學研究所官方表述中的C、D命題，已同步公開論文和Lean形式化證明，但仍有待學界獨立審查。

OpenAI表示，項目使用了比GPT-6 Astra顯著更強的內部模型，約1萬個並行智能體在約88小時內形成證明，發送270萬條訊息、生成約1300億輸出Token，Lean形式化和驗證另耗時17小時。OpenAI無意申領千禧年大獎。

關於同期研究，OpenAI最初誤以為Anthropic員工Levent Alpöge與紐約大學教授Tristan Buckmaster也解出了該題，後確認兩人解決的是受迫歐拉方程問題，並認可其在該問題上的優先權。