Landmark discovery claim · Mathematics · Physics
OpenAI releases an AI-generated unforced Euler blowup proof claim
A proposed smooth, compactly supported divergence-free initial velocity on R³ whose unforced incompressible Euler solution loses regularity in finite time.
Summary
The released paper claims finite-time blowup from smooth compactly supported initial data for unforced Euler on all of R³. Its theorem states unbounded velocity gradients and a divergent time-integrated maximum vorticity. This is distinct from forced Euler constructions and from the viscous Navier–Stokes result released alongside it.
AI role
An internal model’s cooperating agents searched for the construction; the release includes an analytical proof and Lean certificates.
Narrative role
The claim targets a central open regularity question with an explicit research artifact, making the inviscid result independently worth tracking rather than folding it into a generic fluid-equations headline.
Caveat
The theorem and repository were inspected, but no Lean build or independent proof audit was completed in this run. Treat this as an internally reported proof claim awaiting broader scrutiny, not an accepted resolution.