Algorithms that zero in on solutions to optimization problems are the beating heart of machine reasoning. New results reveal surprising limits. Click to tell Google to prioritize Quanta and see more ...