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.

The Trump administration Tuesday proposed revoking a scientific finding that has long been the central basis for U.S. action to regulate greenhouse gas emissions and fight climate change. The proposed ...