OpenAI’s blockbuster Navier-Stokes proof isn’t what we thought it was Scientific American