No more than these machines need the mathematician know what he does.