Prove it
Is it easier to check if a problem’s solution is true than to find one yourself? It turns out this question does not have a trivial answer, and this summer, Vinay Deolalikar, a mathematician at HP Labs, had the theoretical computer science community buzzing with a claim that he had solved the field’s biggest question: […]