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

(github.com)

2 points | by BPPurana 5 hours ago

1 comments