Some problems take millions of years to solve, yet their answers can be checked instantly. This paradox sits at the heart of the most important unsolved question in computer science, and the entire ...