OpenAI changed Navier-Stokes press release and Lean4 code on GH

Write your take first — we'll ask for email only when you're ready to publish.