Ningún misterio, los métodos son completamente diferentes.
Los ordenadores son incapaces de "descubrir" por deducción y seguir razonamientos originales, se limitan a comprobar una formula dentro del margen y tiempo que les digamos.
El día que un ordenador sea capaz de desarrollar nuevos razonamientos originales que me avisen, que eso sería interesante de verdad