Vasily Ilin(@IlinVasily29521):To add a bit of clarity about who proved what. Tristan + Levent: 3d incompressible Euler with forcing OpenAI: 3d incompressible Euler without forcing OpenAI: Navier-Stokes with forcing No one: Navier-Stokes without forcing Euler equations = Navier-Stokes without viscosity. Forcing means external force. Absence of viscosity and presence of external force make blowup easier to construct. So in the 2x2 grid Tristan+Levent ticked the weakest box, OpenAI ticked the two next weakest, and the strongest is still open. Navier-Stokes is not over.

2026.09.09 05:16

To add a bit of clarity about who proved what. Tristan + Levent: 3d incompressible Euler with forcing OpenAI: 3d incompressible Euler without forcing OpenAI: Navier-Stokes with forcing No one: Navier-Stokes without forcing Euler equations = Navier-Stokes without viscosity. Forcing means external force. Absence of viscosity and presence of external force make blowup easier to construct. So in the 2x2 grid Tristan+Levent ticked the weakest box, OpenAI ticked the two next weakest, and the strongest is still open. Navier-Stokes is not over.