Surprise Computer Science Proof Stuns Mathematicians

The Paradox of the Proof