[A few minutes of pause so that she can look up Skynet on wikipedia]
That is a fictional example and therefore not admissible as evidence. Also, it does not apply anyway. Making a computer program "too smart" requires effort and a technological ability to create such things. The technology to make such machines is still clearly not in existence.