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

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

artninja1988 12h

So, what are the implications of this?