Unverified50% confidenceFactTime unknown
P vs NP问题由Stephen Cook于1971年正式提出，是计算机科学中最著名的未解难题之一
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
7/2/2026
First Seen
Valid until: 9/30/2026
Sources
验证驱动开发：释放AI编程真正潜力的关键
bilibiliDtsolaSpace
Related Claims
UnverifiedNP-hard概念由Stephen Cook于1971年在论文《定理证明程序的复杂性》中正式提出，Leonid Levin几乎同时在苏联独立得出类似结论66% similarUnverifiedP=NP是Clay数学研究所悬赏100万美元的千禧年数学难题，至今未被证明62% similarUnverified1971年斯蒂芬·库克证明了NP完全性理论62% similarUnverifiedCook的论文证明了布尔可满足性问题（SAT）是NP-complete的，Richard Karp于1972年证明了包括背包问题在内的21个经典问题都属于NP-complete56% similarUnverified具身智能的理论根基来自1980年代Rodney Brooks的'包容架构'以及Rolf Pfeifer等人的'物理基础认知'理论53% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/60622API
curl https://kongchang.com/api/v1/knowledge/claims/60622MCP
get_claim(id=60622)