Unverified50% confidenceFactExact time
Since the Navier–Stokes equations were proposed in the 19th century, the existence and smoothness of their solutions has remained unproven.
1
Sources
50%
Confidence
Long-term
Relevance
9/11/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedThe 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.75% similarUnverified三体问题对任意初始条件都不存在通用的闭式解，庞加莱在19世纪末通过数学证明揭示了其不可积性74% 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.71% similarUnverifiedThe Navier-Stokes equations were independently derived in the 19th century by French engineer Claude-Louis Navier and British mathematician George Stokes.70% similarUnverifiedIn 1931, Gödel proved the incompleteness theorems: any consistent formal system that includes arithmetic of natural numbers must contain propositions that can neither be proved nor disproved within the system, and the system cannot prove its own consistency internally.66% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/900087API
curl https://kongchang.com/api/v1/knowledge/claims/900087MCP
get_claim(id=900087)