The only reliable way to guarantee the safety of AI systems is to build hardware and software constraints based on rigorous mathematical proofs.

“The truly safe technology needs to be based on the laws of physics and the law and the mathematical proof those are the only two things that we can be absolutely sure can't be subverted by a sufficiently powerful AI”