# Two Minute Papers — 'I Never Thought I'd See This Happen'

> Two Minute Papers walks through OpenAI's Navier-Stokes blowup proof from the angle of a fluid-simulation researcher.

- Org: Two Minute Papers
- Date: 2026-09-10
- Category: video
- Source: https://www.youtube.com/watch?v=mOvtumfyjCs
- Canonical page: https://ai-tldr.dev/releases/two-minute-papers-navier-stokes-sep10/

## In short

Two Minute Papers covers OpenAI's Navier-Stokes blowup proof in an episode posted on 10 September 2026. The description sets the AI-produced result next to the host's own fluid-simulation thesis and papers.

## What it is

'I Never Thought I'd See This Happen' went up on the Two Minute Papers channel on 10 September 2026. The episode is about OpenAI's Navier-Stokes solution paper, in which AI agents produced a machine-checked Lean proof that a solution can blow up. The channel's description links that paper first, before anything else.

## How it works

The framing is personal rather than a line-by-line paper walkthrough. The description puts the OpenAI result beside the host's own fluid work — a master's thesis on fluid control and a real-time fluid-control paper — and points at a full interview with Demis Hassabis plus the two videos the episode draws footage from.

## Why it matters

The Navier-Stokes proof is being argued over on its mathematical merits, but most people will meet it through a video rather than the Lean files. A channel that has covered fluid simulation for years explaining why the result is surprising reaches an audience that will never open the proof repository.

## Who it's for

people following the Navier-Stokes result

## Links

- [Watch on YouTube](https://www.youtube.com/watch?v=mOvtumfyjCs)
- [Two Minute Papers](https://www.youtube.com/channel/UCbfYPyITQ-7l4upoX8nvctg)
- [Lean Proof Repo](https://github.com/openai/NavierStokesAndEuler)
- [Proof Paper (PDF)](https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf)