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

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.