Is QA manual testing dead?

I would sum it up thusly:

• Automated tests are for finding the problems that you know about (incorrect code).

• Manual tests are for finding the problems that you don't know about (incorrect design/specs).

If you use manual tests to find problems with the code, that is inefficient. If you use automated tests to find problems with the design, that is inexcusable.

No.

Your QA can be a smaller team, and their purpose becomes finding unexpected things. They get to play with the system in ways that a user might. In ways that programmers didn't expect.

Once they find something, you write an automated test so they don't need to repeat it. But you still need them to find those cases.

Not to mention, they'll find things like typos, usability issues with the UI, hard to read colour combinations, etc

Black box testing will never go away as long as human beings are using your product. There is no substitute for the human ability to identify "something weird going on".