OpenAI avoids this by formally verifying the proof.

https://github.com/openai/NavierStokesAndEuler