AI 摘要False claim: OpenAI did not solve the Navier-Stokes Millennium Problem.mathematicsAINavier-Stokes负向情感本摘要由 AI 生成,请从原始来源核实细节。