Did you know that existence of arbitrarily many primes in arithmetic progression was proven in 2004, but it took 75 computers to find an example with 24 primes ?