The model behind the Navier–Stokes claim

OpenAI’s claimed Navier–Stokes solution came with a Lean formalization and a description of an internal system significantly more capable than the recently released Astra. Zvi Mowshowitz regards that second claim as the larger signal about the pace of AI progress.

The mathematical claim concerns a singularity developing from smooth initial conditions. Its formulation and proof artifacts require mathematical scrutiny; an announcement does not establish an awarded Millennium Prize.

The essay also examines the dispute around concurrent researchers’ work. Its forecast about what comes next is an interpretation of the reported research trajectory, distinct from whether this particular proof succeeds. A remarkable result can shift expectations without proving every broader claim made for it.