A major advance in computational complexity reveals deep connections between the classes of problems that computers can — and can’t — possibly do.