Did you know that mathematician Zhang Yitang proposed a proof that there are infinitely many pairs of prime numbers with a prime gap of 70 million or less?