Audit of OpenAI's Navier-Stokes Formalization: Weak Bochner vs. Clay Statement C

(github.com)

5 points | by BPPurana 14 hours ago ago

1 comments