Unverified50% confidenceFactExact time
三体问题对任意初始条件都不存在通用的闭式解，庞加莱在19世纪末通过数学证明揭示了其不可积性
1
Sources
50%
Confidence
Long-term
Relevance
7/16/2026
First Seen
Sources
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.74% 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.73% similarUnverifiedOf the seven Millennium Prize Problems, only the Poincaré conjecture has been proved, by Grigori Perelman in 2003, while the remaining six remain unsolved to this day.70% similarUnverifiedTerence Tao stated that complex mathematical proofs still require human completion, and he would not have Claude attempt proofs of certain lemmas because it either fails or produces very ugly proofs.68% 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.67% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/533549API
curl https://kongchang.com/api/v1/knowledge/claims/533549MCP
get_claim(id=533549)