Tomorrow’s Tech Treepowered by Astra

Mathematics & Algorithms · Recorded milestone

AI Navier-Stokes blow-up proof (claimed)

Recorded year2026

In September 2026 OpenAI posts a 166-page, Lean-checked proof that forced 3D fluid flows can blow up; its scope is debated.

Explore this milestone on the interactive map

Built on

Led to

Sources & evidence

Dataset updated 2026-10-18. This individual record has not been separately re-reviewed.