【OpenAI稱使用内部模型破解千禧年大獎難題】

【OpenAI稱使用内部模型破解千禧年大獎難題】當地時間9月8日，美國開放人工智能研究中心宣布解決納維-斯托克斯存在性與光滑性問題，這是千禧年大獎難題之一。光滑的三維流體運動是否會“破裂”，這個問題已懸而未決約90年。OpenAI表示，這一證明由其内部模型産生，模型能力顯著強于GPT‑6 Astra，并生成解析證明和Lean形式化驗證，表明描述流體運動的納維-斯托克斯方程動力學演化可在有限時間内形成奇點。該解是一個渦旋，即旋轉的流體漩渦，它向内盤旋并逐漸被拉長，像意大利面一樣。OpenAI稱，不打算為這一結果申領千禧年大獎。