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

9 points by rawland 41 days ago 2 comments
Summary not yet generated for this article.

Original Text

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

Comments (2 of ) ⌛

Loading more comments... ⌛
Scroll down to load more comments
No comments available.
Type to search HN and engineering blog articles
Press Escape to close  |  ↑↓ to navigate  |  Enter to open