Every even integer greater than 2 is the sum of two primes. Verified for huge numbers; nobody can prove it.
Open source ↗