show/hide this revision's text 1 [made Community Wiki]

In theoretical computer science, possibly the best example is the PCP Theorem: it's used all over the place, from cryptography to quantum computing, yet very few of us understand the details (especially for the strong, "modern" versions of it).