The speaker believes that in order to ensure that machines adopt and retain human goals, trust should be based on things that humans can understand and improve upon, preferably through the use of mathematical proofs, and discusses the challenges involved in transforming intelligent computations into ones that are equally intelligent. The talk touches on the current state of cybersecurity and its vulnerabilities.