Navier–Stokes: research publication

OpenAI presented a proposed proof and Lean formalization, produced by a system using an internal model and subject to expert assessment.

Sources