Oxford's top maths professor: 'The devil could use AI to destroy the world'