> Yet, as we formally prove herein, creating systems with human(-like or -level) cognition is intrinsically computationally intractable. Well, pregnant women c

> Yet, as we formally prove herein, creating systems with human(-like or -level) cognition is intrinsically computationally intractable. Well, pregnant women create such systems routinely. Due to the presence of the weasel word "factual" (it's not in the sentence I quoted, but is in the lead-up), no contradiction actually arises. It may well be intractable to create a perfectly factual human(-like or -level) AI -- but then, most of us would find much utility in a human(-like or -level) AI that is only factual most of the time -- IOW, a human(-like or -level) AI.