← Back to context Comment by nyeah 6 hours ago Not a mathematician, but "pretty sure" might not be good enough to resolve this question. 3 comments nyeah Reply latent-person 6 hours ago Lucky that it was enough in this case. The theorem had been written by formal conjectures before the proof https://github.com/openai/NavierStokesAndEuler/blob/main/Com...
latent-person 6 hours ago Lucky that it was enough in this case. The theorem had been written by formal conjectures before the proof https://github.com/openai/NavierStokesAndEuler/blob/main/Com...
Lucky that it was enough in this case. The theorem had been written by formal conjectures before the proof https://github.com/openai/NavierStokesAndEuler/blob/main/Com...