It just has to be good at physics and engineering.
I would contend it would have to know what is in the current environment as well. What bacteria and other micro organisms it is likely to face ( a largely unexplored question by humans), what chemicals it will have available (as potential feedstocks and poisons) and what radiation levels.
To get these from first principles it would have to recreate the evolution of earth from scratch.
Some engineering tasks are limited by computing power too, e.g. protein folding is an already formalized problem,
What do you mean by a formalized problem in this context? I’m interested in links on the subject.
There are a variety of formalized versions of protein folding. See for example this paper(pdf). There are however questions if these models are completely accurate. Computing how a protein will fold based on a model is often so difficult that testing the actual limits of the models is tricky. The model given in the paper I linked to is known to be too simplistic in many practical cases.
I would contend it would have to know what is in the current environment as well. What bacteria and other micro organisms it is likely to face ( a largely unexplored question by humans), what chemicals it will have available (as potential feedstocks and poisons) and what radiation levels.
To get these from first principles it would have to recreate the evolution of earth from scratch.
What do you mean by a formalized problem in this context? I’m interested in links on the subject.
There are a variety of formalized versions of protein folding. See for example this paper(pdf). There are however questions if these models are completely accurate. Computing how a protein will fold based on a model is often so difficult that testing the actual limits of the models is tricky. The model given in the paper I linked to is known to be too simplistic in many practical cases.
Sorry for speaking so confidently. I don’t really know much about protein folding, it was just the impression I got from Wikipedia: 1, 2.