Comment by charcircuit

6 hours ago

OpenAI avoids this by formally verifying the proof.

https://github.com/openai/NavierStokesAndEuler

0 comments

charcircuit

Reply

No comments yet

Contribute on Hacker News ↗