我們正在分享一份 AI 生成的納維-斯托克斯（Navier–Stokes）千年難題的解答，包含一份說明文件和以 Lean 形式呈現的正式證明。

納維-斯托克斯方程式描述了流體的運動，是物理學和工程學中的基礎。然而，其解的存在性和光滑性一直是數學上的重大難題，並被列為七個千禧年大獎難題之一。解決這個問題將對我們理解流體行為產生深遠影響，並可能帶來新的科學發現和技術突破。

我們希望透過這次的嘗試，展示 AI 在解決複雜科學問題上的潛力，並鼓勵更多人參與到科學研究的探索中。我們相信，AI 和人類智慧的結合，將能加速科學發現的進程，並為人類社會帶來更多福祉。