Mathematicians say OpenAI doesn’t understand its own Navier-Stokes proof — Blankdot