Surprising Limits Discovered in Quest for Optimal Solutions. Algorithms that zero in on solutions to optimization problems are the beating heart of machine reasoning. New results reveal surprising limits.