Mathematicians announce preliminary Navier‑Stokes proofs amid dispute over OpenAI's competing AI-assisted effort | Raisolo