Audit of OpenAI's Navier-Stokes Formalization: Weak Bochner vs. Clay Statement C(github.com)3 points by BPPurana 12 hours ago | 0 comments