Evidence item

Buckmaster and Alpoge posted finite-time blowup results for three related fluid equations with Lean verification on September 8. DIRECT_TEXT

Authenticity UNVERIFIED · extraction UNVERIFIED · independence group none (unreviewed) · created seq 7176

Source: OpenAI's Navier-Stokes Math Claim Ignites a Credit Fight · locator {} · excerpt hash sha256:3466316b5eeb746770b16484fbfeeadfbc5a820d35d996e719640ccb7a9e2dee

Exact excerpt

On September 8, 2026, Tristan Buckmaster (an NYU mathematician) and Levent Alpoge (a researcher at Anthropic) publicly posted three results: finite-time blowup with smooth forcing for the incompressible porous media equation, the 2D Boussinesq system, and the 3D incompressible Euler equations. All three came with a formal, computer-checked verification in Lean.

Linked claims

Claim	Direction	Relevance	Steps	Counted
3a9a8b12	SUPPORT	DIRECT	0	yes

Audits

None.