ME News 消息，9 月 9 日（UTC+8），OpenAI 宣布解決了千禧年大獎難題之一的納維-斯托克斯（Navier-Stokes）存在性與光滑性問題，該問題已懸置約 90 年。
本次證明由一組智能體使用一款能力顯著強於 GPT-6 Astra 的 OpenAI 下一代模型完成，OpenAI 称動用約 10,000 個智能體並行工作，耗時約 88 小時得出證明，隨後由 GPT-6 Astra 用 17 小時在 Lean 定理證明器中完成形式化驗證。證明顯示三維流體運動可在有限時間內出現奇點：渦旋向內收縮、核心拉伸加速直至速度無界，而系統總能量保持有限。OpenAI 已公開 165 頁證明文稿及 Lean 形式化代碼，並表示不打算申領 100 萬美元獎金。目前克雷數學研究所仍將該問題列為未解決，因為按規則解法需在合格期刊發表並留存至少兩年、獲得數學界普遍認可後才會被考慮授獎。（來源：X）
