Hm. I think it depends on two things: (1) how sample-efficient AI can become if CS and mathematics becomes "solved", (2) if AI still sucks on this metric compared to biological brains despite that, can it at least self-play its way to solutions?

Given what AI could do with protein folding, I wouldn't bet on biology being a "no" for AI. It might be, but I wouldn't bet on it.

Likewise, if AI can do mathematics so well it solves "just" all of computer science, let alone other branches of mathematics, if this somehow doesn't lead to AI becoming similarly sample-efficient as biological brains, that's very interesting and will say something nice and surprising about the nature of minds and possibly the nature of being alive.

I think Ai understands biology better than humans because it can correlate everything where humans can never know enough to correlate all. But Ai will not just focus on a solution till it is given a runway to solve and deliver.