Kingy AI
Subscribe, 2.1M subscribersWork with Kingy

Breakthrough Tracker record

OpenAI releases a formalized finite-time Navier–Stokes blowup construction

OpenAI claims an analytical proof of finite-time blowup for the three-dimensional incompressible Navier–Stokes equations, starting from rest with smooth compactly supported forcing and uniformly bounded kinetic energy. The paper says this establishes alternatives C and D in the Clay formulation. Independent PDE papers now explain part of the construction and use it downstream, without completing an outside proof check.

← Back to the filtered Breakthrough Tracker

Stable ID
math-navier-stokes-forced-blowup-openai-2026
Revision
math-navier-stokes-forced-blowup-openai-2026.v3
Field
Mathematics · Partial differential equations, fluid dynamics and formal verification
Evidence
Tier 1 · Peer reviewed: No
Record state
Disputed · Formalized claim; theorem-to-argument correspondence disputed
Last checked

AI role

OpenAI says an internal model more capable than GPT-6 Astra produced the analytical proof through a large coordinated-agent run; GPT-6 Astra was then used for the Lean formalization.

Record details

Problem or result
Navier–Stokes existence and smoothness, Clay alternatives C and D
Authors
OpenAI
Institutions
OpenAI
Result date
OpenAI release September 8; independent technical papers through September 2026

Why it matters

Navier–Stokes regularity is one of the seven Millennium Prize Problems. If the analytical statement, formal specification and proof all withstand expert review, the work settles the problem by exhibiting smooth forced data whose velocity becomes unbounded in finite time.

Limits

This remains an institutional preprint rather than a peer-reviewed or Clay-accepted solution. Bastounis, Circelli and Hansen specifically dispute that the Lean theorem corresponds to the natural-language blow-up argument. Their critique is not a counterproof to every analytical step, and the promised Lei–Ren Part II correction was not located, so the record is disputed rather than disproved or retracted.

Sources

  1. Primary: OpenAI, Navier–Stokes research announcement
  2. Primary: OpenAI, Finite Time Blowup for Navier–Stokes
  3. Artifacts: Lean certificates for the Navier–Stokes and Euler results
  4. Independent context: Nature, OpenAI claims a Millennium Problem breakthrough
  5. Expert context: Lei and Ren, exposition of the profile-construction portion
  6. Downstream result: Cao, Chi and Nie, density consequences of forced blowup
  7. Independent context: Petrillo and Glimm, forced singularity context
  8. Independent critique: Bastounis, Circelli and Hansen, Navier–Stokes lost in translation

Correction and revision history

  1. 2026-09-10 — Added after primary-source, scope, status, AI-role and limitation review.
  2. 2026-10-02 — Added substantial independent PDE engagement and downstream use; retained provisional status because a complete outside proof check is still absent.
  3. 2026-10-19 — Added an independent critique alleging a semantic mismatch between the Lean theorem and the natural-language blow-up argument; reclassified the claim as disputed without marking it disproved.

Machine-readable: JSON v1 · CSV v1 · Schema v1

This individual record remains noindex until a story-specific featured image passes Kingy’s rendered-pixel visual review. The source-linked tracker hub remains the public index.