Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof | AIChainDay