= Navier-Stokes existence and smoothness
{c}
{tag=Millennium Prize Problems}
{tag=Existence and uniqueness of solutions of partial differential equations}
{wiki=Navier–Stokes_existence_and_smoothness}
See also: <existence and uniqueness of solutions of partial differential equations>.
On December 19, 2025 a bet was revealed between two <DeepMind> guys that one of them would have a <Lean> proof to the problem:
* https://x.com/mhutter42/status/2001857421569032444
* https://www.reddit.com/r/singularity/comments/1prw1kv/former_deepmind_director_of_engineering_david/
\Video[https://www.youtube.com/watch?v=BaDxv5Z4LkU]
{title=A report on the Navier-Stokes Problem by Vladimir Šverak}
{description=2025.}
Back to article page
