Audit of OpenAI's Navier-Stokes Formalization: Weak Bochner vs. Clay Statement C(github.com)
2 pointsby BPPurana3 hours ago1 comment