Primes in ℤ[i]: Gaussian integer a+bi is prime if |a|²+|b|² is prime (neither a nor b zero), or if one is 0 and |the other| is a rational prime ≡ 3 (mod 4). The unsolved Gaussian Moat Problem asks: can you walk to infinity on Gaussian primes with bounded step size?