What would it take for artificial intelligence to make real progress?