logoalt Hacker News

charcircuit • yesterday at 10:14 PM • 0 replies • view on HN

OpenAI avoids this by formally verifying the proof.

https://github.com/openai/NavierStokesAndEuler