Navier–Stokes: proposed proof published

OpenAI published a singularity proof with smooth external forcing and a Lean formalization. An internal model led the research, not public Astra.

A lab research claim, not our independent validation or a prize decision. Counted as one research episode.

Sources