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

 (github.com)

2 points | by BPPurana 4 hours ago ago

1 comments