OpenAI’s Navier-Stokes solution looks like a big win for mathematics. But some mathematicians are not so sure.