Bien qu'ils aident les mathématiciens lors de leur phase expérimentale de recherche, les ordinateurs laissent aussi s'introduire de l'incertitude en mathématiques parce qu'ils conduisent parfois à des résultats invérifiables.