Pour cette conjecture l'ordinateur n'est a priori que de peu d'utilité car, en effet, d'une part
les ordinateurs n'ont qu'une capacité finie (même si elle peut être phénoménale...) et ils ne peuvent donc manipuler
l'ensemble infini des nombres premiers. D'autre part, la notion de contre-exemple n'a pas de sens ici (une longue absence de couples de
nombres premiers jumeaux ne prouverait évidemment pas que cette absence se poursuit indéfiniment :
l'absence de preuve n'est pas la preuve de l'absence...).