Nature: Unprovability comes to machine learning

Nature: Unprovability comes to machine learning. “Scenarios have been discovered in which it is impossible to prove whether or not a machine-learning algorithm could solve a particular problem. This finding might have implications for both established and future learning algorithms.”