“You don’t have to believe in God, but you have to believe in The Book,” the Hungarian mathematician Paul Erdős once said. The Book, which only exists in theory, contains the most elegant proofs of ...