Verified by computer for every even number checked so far, into the many quintillions, with no exception found, but no general proof covering all even numbers exists, nearly three centuries after Goldbach first proposed it.
What would resolve this A general proof covering every even integer (or a single confirmed counterexample, an even number that is not the sum of two primes).
OpenAnalytic number theoryMacTutor History of Mathematics Archive