  With unprecedented advances in genetic engineering we are starting to see
progressively more original examples of synthetic life. As such organisms
become more common it is desirable to be able to distinguish between natural
and artificial life forms. In this paper, we present this challenge as a
generalized version of Darwin's original problem, which he so brilliantly
addressed in On the Origin of Species. After formalizing the problem of
determining origin of samples we demonstrate that the problem is in fact
unsolvable, in the general case, if computational resources of considered
originator algorithms have not been limited and priors for such algorithms are
known to be equal. Our results should be of interest to astrobiologists and
scientists interested in producing a more complete theory of life, as well as
to AI-Safety researchers.
