OpenAI 公布論文與 Lean 形式化證明庫，並主張其系統提出 Navier–Stokes 的相關解法：在特定的平滑外力條件下，起初靜止的流體可於有限時間產生奇異性，且能量保持有限。這是重要研究公告，但不等於已獲數學界或 Clay Mathematics Institute 正式認定；公開材料仍須經過檢查與討論。