Unverified60% confidenceEventExact time
OpenAI 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.
2
Sources
60%
Confidence
Medium-term (~90 days)
Relevance
9/11/2026
First Seen
Valid until: 12/10/2026
Sources
Related Entities
Related Claims
UnverifiedOpenAI released a research result related to the Navier-Stokes equations, which includes a Lean 4 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.69% similarUnverifiedOpenAI announced research progress on difficult problems including the mathematical Kakeya conjecture, the exponential time hypothesis in theoretical computer science, and quantum chromodynamics in physics, with some of the mathematical work formalized using proof assistant tools.65% similarUnverifiedOpenAI recently shared its model's results on the Kakeya conjecture, the Exponential Time Hypothesis (ETH) and quantum chromodynamics (QCD).65% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/896196API
curl https://kongchang.com/api/v1/knowledge/claims/896196MCP
get_claim(id=896196)