Unverified50% confidenceFactExact time
The PCP theorem was proved in the 1990s.
1
Sources
50%
Confidence
Long-term
Relevance
11/1/2026
First Seen
Sources
AI Cracks the Unique Games Conjecture: A Turning Point for Theoretical Computer Science
youtubeLex Clips11/1/2026
Related Entities
Related Claims
UnverifiedIn 1971, Stephen Cook proved the theory of NP-completeness.56% similarUnverified2001年Friedman提出梯度提升机（GBM）奠定了理论基础55% similarUnverified约束传播的思想最早可追溯至1970年代阿兰·马克沃斯对弧一致性算法的研究53% similarUnverifiedThe foundational paper for support vector machines is Cortes & Vapnik 1995.53% similarUnverified关于计算机辅助证明是否算真正数学证明的哲学争论持续至1990年代才逐渐平息53% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1122416API
curl https://kongchang.com/api/v1/knowledge/claims/1122416MCP
get_claim(id=1122416)