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$"?