A deterministic proof seems within reach, until composite numbers start masquerading as primes. This video traces how ...