I believe that our advantage is the following:
The fact that we ask questions.
Remember that mathematical induction was invented/discovered because we wanted to answer the following question:
how can we prove $1+2+...+n=\frac{n(n+1)}{2}$ is valid for every $n\in \mathbb{N}$?
If we ask questions we are getting better.I doubt that a computer would invent/discover group theory in order to investigate the unsolvability of algebraic equations because there would be no question like
COMPUTER:
"We can solve the $ax^2+bx+c=0$ but what about $ax^5+bx^4+cx^3+dx^2+ex+f=0$"?