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

By rawland · 2026-09-11 · 2 points · 1 comments

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: ht…

Open the full discussion on BetterNews