sieve methods

The Obviously True Theorem No One Can Prove

Veritasium

A type of mathematical approach used by Chen Jingrun to prove that every sufficiently large even number is the sum of a prime and a semiprime.