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.

Vasily Ilin

@IlinVasily29521

Founding Director of the UW Math AI Lab, MTS @ Axiom Math

参加 February 2026

82 フォロー中 829 ファン

Vasily Ilin@IlinVasily29521

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.