Comment Comment by charcircuit OpenAI avoids this by formally verifying the proof.https://github.com/openai/NavierStokesAndEuler parent charcircuit 1 month ago
https://github.com/openai/NavierStokesAndEuler