When people say ‘ASI couldn’t do [X]’ they are either making a physics claim about [X] not being possible, or they are wrong.
There are tasks whose algorithmic complexity class and size is such that while they’re not physically impossible, they can’t practically be solved (or in some cases even well approximated) in the lifetime of the universe. However, any complexity theorist will tell you we’re currently really bad at identifying and proving specific instances of this, so I wouldn’t place bets on those. And yes, anything evolution has produced a good approximation to clearly doesn’t fall in this class.
There are tasks whose algorithmic complexity class and size is such that while they’re not physically impossible, they can’t practically be solved (or in some cases even well approximated) in the lifetime of the universe. However, any complexity theorist will tell you we’re currently really bad at identifying and proving specific instances of this, so I wouldn’t place bets on those. And yes, anything evolution has produced a good approximation to clearly doesn’t fall in this class.