Mathematician philosopher john lennox on 2084 artificial intelligence and the future of humanity