Mathematicians say OpenAI proved a version of the Navier-Stokes problem that adds an artificial outside force. Take that force away and the fluid breakdown it found simply disappears. Chicago mathematician Luis Silvestre says the version everyone actually wants is still unsolved.