OpenAI 公布納維–斯托克斯千禧年難題解答，並公開 Lean 形式化證明

OpenAI 宣布其內部系統針對納維–斯托克斯存在性與光滑性問題給出解答，證明在特定條件下流體可在有限時間內形成奇點且能量保持有限。該成果對應克雷數學研究所的 C、D 命題，OpenAI 已公開論文與 Lean 形式化證明，但仍待學界審查。此項目由內部模型耗時約 88 小時完成，OpenAI 表示無意申領千禧年大獎。