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% similarUnverifiedOpenAI disclosed that its own models delivered three scientific research results this week, one of which proved a conjecture that has troubled mathematicians for decades and incidentally solved the famous Kakeya conjecture.74% 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% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/896196API
curl https://kongchang.com/api/v1/knowledge/claims/896196MCP
get_claim(id=896196)