Expired50% confidenceEventExact time
Multiple professional mathematicians have questioned OpenAI's claims regarding the Navier–Stokes problem.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
9/11/2026
First Seen
This claim has expired. It is kept for the record and no longer describes the current state.
Valid until: 9/25/2026(expired)
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.65% 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.64% similarUnverifiedThe existence of smooth solutions to the Navier–Stokes equations in three-dimensional space has not yet been mathematically proven, and is one of the Millennium Prize Problems offered by the Clay Mathematics Institute.63% similarUnverifiedMillennium Prize Problems such as the Riemann Hypothesis, P≠NP, and the smoothness of the Navier-Stokes equations require the creation of entirely new mathematical theoretical frameworks, which current AI is not yet capable of.62% similarUnverified怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/900090API
curl https://kongchang.com/api/v1/knowledge/claims/900090MCP
get_claim(id=900090)