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

  • Posted 2 days ago by rawland
  • 6 points
As of Sept, 11th: https://openai.com/index/navier-stokes-solution/

Compare to https://web.archive.org/web/20260908235305/https://openai.com/index/navier-stokes-solution/

Also, see GitHub - git history: https://github.com/openai/NavierStokesAndEuler

3 comments

    Loading..
    Loading..
    Loading..