待验证50% 置信事实精确时间
Baker、Gill 与 Solovay 在 1975 年利用 oracle 构造证明：P 是否等于 NP 无法通过相对化方法解决。
1
来源数
50%
置信度
长期有效
时效性
2026/10/14
首次发现
来源
涉及实体
相关事实
待验证1971年斯蒂芬·库克证明了NP完全性理论61% 相似待验证P=NP是Clay数学研究所悬赏100万美元的千禧年数学难题，至今未被证明57% 相似待验证NP-hard概念由Stephen Cook于1971年在论文《定理证明程序的复杂性》中正式提出，Leonid Levin几乎同时在苏联独立得出类似结论57% 相似待验证金字塔原理（Pyramid Principle）由麦肯锡公司前顾问Barbara Minto于1973年提出，核心逻辑是结论先行、以上统下56% 相似待验证像黎曼假设、P≠NP问题、纳维-斯托克斯方程光滑性等千禧年问题需要开创全新数学理论框架，当前AI尚无法做到54% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1026912API
curl https://kongchang.com/api/v1/knowledge/claims/1026912MCP
get_claim(id=1026912)