OpenAI changed Navier-Stokes press release and Lean4 code on GH
3 pointsby rawland3 hours ago1 comment
  • artninja19883 hours ago
    So, what are the implications of this?