hat
Yo gentan verifye konjekti a pou tout nonb pè ki pi piti pase 4 × 10 11 {\displaystyle 4\ \times \ 10^{11}} .
fra
Cette conjecture a été vérifiée par logiciel pour tous les nombres pairs jusqu'à 4 × 10 11 {\displaystyle 4\ \times \ 10^{11}} .