The Obviously True Theorem No One Can Prove

The strong Goldbach conjecture, stating every even integer greater than 2 is the sum of two primes, remains unproven. While verified up to 4 quintillion, a new mathematical technique is needed for a proof.

• ⭐ The weak Goldbach conjecture (every odd number > 5 is sum of 3 primes) was proven true by Harald Helfgott in 2013.
• 📈 "Goldbach's comet" illustrates how the number of prime pair sums increases with larger even numbers.
• 🇨 🇳 Chen Jingrun proved every sufficiently large even number is the sum of a prime and a semiprime (prime or product of two primes).

A portrait of a man in historical attire next to a piece of parchment showing mathematical equations, including 8 = ? + ?.