La congettura di Goldbach afferma che ogni numero pari maggiore di 2 può essere espresso come somma di due numeri primi. In modo formale, se n è un numero pari maggiore di 2, allora esistono due numeri primi p e q tali che:
n = p + q
dove p e q sono numeri primi. La congettura di Goldbach è ancora oggi un problema aperto della teoria dei numeri, in quanto non è stata dimostrata in modo rigoroso, nonostante sia stata verificata empiricamente per molti numeri pari.