It was “meant to provoke other people to come up with clever examples,” he said. But mathematicians couldn’t come up with counterexamples, and not for want of trying. In the absence of a ...