Algorithms that zero in on solutions to optimization problems are the beating heart of machine reasoning. New results reveal surprising limits. Our lives are a succession of optimization problems.