Unverified50% confidenceReleaseExact time
OpenAI released a research result related to the Navier-Stokes equations, which includes a Lean 4 formal proof.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/11/2026
First Seen
Valid until: 12/10/2026
Sources
Related Entities
Related Claims
UnverifiedOpenAI claims its internal model has solved the Millennium Prize problem related to the Navier-Stokes equations, providing both an analytical proof and a Lean formal proof.75% similarUnverifiedThe academic team produced results on the Euler equations with a smooth external force, while OpenAI claims to have produced results on the Euler equations without external force as well as results on the Navier-Stokes equations with a smooth external force.70% similarUnverifiedOn September 8, 2025, New York University mathematician Tristan Buckmaster publicly released three AI-assisted research results on fluid equations, and in a four-page statement disclosed that OpenAI researchers told him their internal model had generated a finite-time blow-up proof for the Navier-Stokes equations with smooth external force.70% similarUnverifiedNew York University mathematics professor Tristan Buckmaster and Anthropic employee Levent Alpoge publicly released three results before OpenAI's announcement, including finite-time blow-up for the three-dimensional incompressible Euler equations with a smooth external force.59% similarUnverifiedMathematician Charles Fefferman once listed four paths (A, B, C, D) for proving the Navier-Stokes problem, with Path A stating that for any initial conditions and in the absence of external forces, a smooth solution satisfying the equations exists.57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/896840API
curl https://kongchang.com/api/v1/knowledge/claims/896840MCP
get_claim(id=896840)