OpenAI’s claimed proof of the Navier-Stokes problem is a mathematical tour de force, but any real-world applications may be years away—if they ever arrive at all