HN
New
Show
Ask
Jobs
Built with elm-pages
Audit of OpenAI's Navier-Stokes Formalization: Weak Bochner vs. Clay Statement C
(github.com)
6 points | by
BPPurana
a day ago ago
2 comments
2 comments