¿Se deben utilizar ordenadores en demostraciones matemáticas?

Os dejo un artículo sobre un problema en el que se ha utilizado. Ya me contaréis.