Superintelligence cannot be contained. Mathematically proven! Ok, so the proof starts with Turing's Halting Problem, which is "undecidable". They extended this to the realm of AI and the question of harming humans. Imagine you have code for a robot that can harm humans. But before it runs the instructions to harm humans, it runs a program that could be endless. Since determining if the program terminates is undecidable, determining if the AI harms humans is undecidable. https://www.mpib-berlin.mpg.de/computer-science-superintelligent-machines?c=72928