待验证50% 置信事实精确时间
三体问题对任意初始条件都不存在通用的闭式解，庞加莱在19世纪末通过数学证明揭示了其不可积性
1
来源数
50%
置信度
长期有效
时效性
2026/7/16
首次发现
来源
相关事实
待验证纳维-斯托克斯方程三维空间中的光滑解存在性至今未被数学证明，是克莱数学研究所悬赏的千禧年问题之一74% 相似待验证1931年哥德尔证明不完备定理：任何包含自然数算术的一致形式系统必然存在无法证明也无法反驳的命题，且系统无法在内部证明自身一致性73% 相似待验证七道千禧年难题中仅庞加莱猜想于2003年由格里戈里·佩雷尔曼证明，其余六题至今未决70% 相似待验证陶哲轩表示复杂数学证明仍需人工完成，他不会让Claude尝试某些引理的证明，因为它要么失败，要么给出非常丑陋的证明68% 相似待验证像黎曼假设、P≠NP问题、纳维-斯托克斯方程光滑性等千禧年问题需要开创全新数学理论框架，当前AI尚无法做到67% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/533549API
curl https://kongchang.com/api/v1/knowledge/claims/533549MCP
get_claim(id=533549)