For me this complexity problem could insurmountable. I think the best approach may be to side step this issue and try selective breeding of virtual (increasingly) intelligent beings.