Computers have not superseded humans in mathematical research. That is way beyond anything that we can program into a computer. Computers are better at computation, which is not the same thing.
More generally, the fact that currently humans are the only entity observed doing X does not mean you need to understand humans to understand X.