Sufficiently large boolean satisfiability also enough to reach general AI.

I kid, but these sorts of papers are theoretical position papers and do not account practical considerations e.g., for how many suns of energy must be expended.