A Gaussian integer a+bi is prime iff its norm a²+b² is a rational prime, or it's a rational prime ≡ 3 (mod 4). The Gaussian moat problem asks: can you walk to infinity stepping only on Gaussian primes with bounded step size?