Según la Conjetura de Goldbach, todo número par mayor que dos es suma de primos. Este enunciado sigue sin demostrarse formalmente, a pesar de verificaciones computacionales.