Supply chains consist of imperfect humans struggling to make perfect decisions. In the end, though, it all comes down to a game of numbers.

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