Unverified50% confidenceFactExact time
The 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.
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.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.65% similarUnverifiedWhen viscosity is removed, the Navier-Stokes equations become the Euler equations.59% similarUnverifiedThe Navier-Stokes equations describe the fundamental laws governing viscous fluid motion, and the existence and smoothness of their mathematical solutions is one of the seven Millennium Prize Problems of the Clay Mathematics Institute59% similarUnverifiedThe two-dimensional version of the Navier-Stokes equations has been proven to have global smooth solutions, but the three-dimensional case remains unsolved due to the vorticity stretching mechanism.58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/896216API
curl https://kongchang.com/api/v1/knowledge/claims/896216MCP
get_claim(id=896216)