OpenAI 宣布其內部模型在不到兩週的訓練後，成功解決了納維-史托克斯存在性與光滑性問題。該模型在數學方面的能力據稱比最近公開的 Astra 模型強兩倍以上。OpenAI 在 9 月 3 日觀察到初步進展後，採用多種方法專注於納維-史托克斯問題並得出解。這項成果展現了在極短訓練期內前所未有的數學推理能力，標誌著 AI 輔助研究的重要突破，顯示通用推理模型無需專門訓練即可解決複雜的數學證明，並突顯了 AI 加速理論數學與物理學發現的潛力。

事件背景

納維-史托克斯存在性與光滑性問題是克萊數學研究所於 2000 年選定的七個千禧大獎問題之一，獎金為 100 萬美元。該問題探討描述流體運動的方程是否存在光滑解，這對於理解湍流現象至關重要。

社群觀察

社群成員指出其他數學家也取得了進展，有人認為 OpenAI 的解可能基於外部工作。用戶對快速的訓練時間表示驚嘆，並討論了 AI 解決傳統上需要人類直覺的問題所帶來的影響。