MOST READERS will have encountered Pythagoras’s theorem about right-angled triangles—that the square on the hypotenuse is equal to the sum of the squares on the other two sides—at school. But the less ...

Mathematical proofs of a certain scale ascend beyond the domain of human cognitive ability, requiring the aid of computer-driven calculation to articulate fully. One such problem, called the Boolean ...