Boooooring. Except for Navier-Stokes existence and smoothness. That's OK.
On December 19, 2025 a bet was revealed between two DeepMind guys that one of them would have a Lean proof to the problem:
Video 1.
A report on the Navier-Stokes Problem by Vladimir Šverak
. Source. 2025.

Articles by others on the same topic (1)

Continuum mechanics is a branch of mechanics that deals with the behavior of materials modeled as continuous mass rather than as discrete particles. It provides a framework for understanding how materials deform and respond to forces when they are subjected to stress, temperature changes, or other influences.