OpenAI published its Navier-Stokes paper and Lean proof code in a public repository