&gt; All the evidence we have right now says that it&#x27;s possible.<p>Speaking about A* and heuristic programming specifically, we have a pretty big corpus of evidence it&#x27;s not possible. More than that, many would doubt if an intelligent system with a rigid agenda constrained by design is possible at all.<p>The scenario you present is essentially the grey goo argument, and it does not require intelligence.