We talk to pioneering mathematician Stephen Cook, who came up with the concept of NP-complete problems, about his work, computer science, and artificial intelligence.
With intelligent machines taking over more and more of our jobs, what does the rise of AI mean for humanity?
It requires only a little processing power, but it's a giant leap for robotkind: engineers at the University of Southampton have developed a way of equipping spacecraft and satellites with human-like reasoning capabilities, which will enable them to make important decisions for themselves.