Surprise Computer Science Proof Stuns Mathematicians

A Decades-Old Computer Science Puzzle Was Solved in Two Pages