A deterministic proof seems within reach, until composite numbers start masquerading as primes. This video traces how Fermat's theorem becomes a probabilistic algorithm, and why embracing uncertainty ...