OpenAI’s Navier‑Stokes claim raises big questions for math and AI