The future is marked by deepening uncertainty about our place in it, and by growing ambiguity about the nature of human purpose itself.

One computer scientist’s “stunning” proof is the first progress in 50 years on one of the most famous questions in computer ...