研究團隊公布以AI求解納維-斯托克斯千禧難題成果

納維—斯托克斯方程式描述液體與氣體流動，廣泛應用於飛機設計、天氣預報與血流研究。其三維解是否會在有限時間形成奇異點，近90年未解，2000年被克雷數學研究所列為七大千禧年難題之一，獎金100萬美元；形式化證明也讓AI推理成果更易逐步檢驗。

OpenAI於2026年9月8日公布，由較GPT-6 Astra更強的內部模型與約1萬個協作代理，在88小時內提出證明，再花17小時完成Lean驗證。紐約大學與Anthropic研究者質疑優先權及Codex資料使用；OpenAI否認取用特定資料，稱不申領100萬美元獎金，成果仍待外部審查。