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.
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.