New ask Hacker News story: OpenAI changed Navier-Stokes press release and Lean4 code on GH

OpenAI changed Navier-Stokes press release and Lean4 code on GH
2 by rawland | 1 comments on Hacker News.
As of Sept, 11th: https://ift.tt/XSuhkvq Compare to https://ift.tt/WGpMq74 Also, see GitHub - git history: https://ift.tt/FU3cZ2E