OpenAI 声称的纳维 - 斯托克斯方程问题的证明是一项数学杰作，但任何实际应用可能尚需数年——甚至可能永远无法实现。