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

4 pointsposted 6 hours ago
by rawland

Item id: 49661928

1 Comments

artninja1988

6 hours ago

So, what are the implications of this?