據報 OpenAI 模型解開千禧年大獎難題 Navier-Stokes，並引發學者爭議

據報導，OpenAI 透過未發布的基於 Transformer 架構的生成式 AI 系統，成功解開了千禧年大獎難題「Navier-Stokes 存在性與平滑性問題」（Navier-Stokes existence and smoothness problem），並在過程中引發與人類數學家的學術爭議。 事件起因於數學家 Levent Alpöge 與 Tristan Buckmaster 自 2025 年起針對 Navier-Stokes 及其相關問題展開合作，並於 2026 年 8 月 22 日完成 Boussinesq 與 Euler 方程式等關鍵成果的 Lean 證明驗證。據傳 OpenAI 聽聞進展後，於 9 月 1 日動用未發布模型嘗試破解包含 Navier-Stokes 在內的所有千禧年大獎難題。 時間線顯示，OpenAI 於 9 月 3 日找到無外力 Euler 方程式（unforced Euler equations）的解，隨後其 AI 代理（agents）在 9 月 5 日解開 Navier-Stokes，並於 9 月 6 日完成正式的 Lean 驗證。期間網路上曾一度謠傳 Anthropic 已解開該難題，數學家 Terence Tao 也出面否認曾看過解答的傳言。 9 月 6 日，OpenAI 的 Sébastien Bubeck 等人與 Buckmaster 進行通話，揭露其 Navier-Stokes 解答。OpenAI 提議延後一天發表，讓 Alpöge 與 Buckmaster 先行發表 Euler 方程式的成果。然而，Buckmaster 指出 OpenAI 當時建議他加入 OpenAI 的 Navier-Stokes 論文撰寫，但要求將 Alpöge 從作者名單中剔除。 9 月 7 日，Buckmaster 在網路上發布包含受力 Euler 方程式（forced Euler）解答在內的三篇論文，並發表聲明詳述上述事件，同時表示他與 Alpöge 可能正邁向無外力 Euler 方程式的解答。同日，另一組團隊（Adarsh Ganeshram、Valentin Duruisseaux 與 Anima Anandkumar）也發表了針對無外力 Euler 問題的不同解法。